Asynchronous Sessions with Input Races
Logic in Computer Science
2022-03-25 v1
Abstract
We propose a calculus for asynchronous multiparty sessions where input choices with different senders are allowed in processes. We present a type system that accepts such input races provided they do not hinder lock-freedom.
Keywords
Cite
@article{arxiv.2203.12876,
title = {Asynchronous Sessions with Input Races},
author = {Ilaria Castellani and Mariangiola Dezani-Ciancaglini and Paola Giannini},
journal= {arXiv preprint arXiv:2203.12876},
year = {2022}
}
Comments
In Proceedings PLACES 2022, arXiv:2203.12142