On Urgency in Asynchronous Timed Session Types
Logic in Computer Science
2018-10-08 v1
Abstract
We study an urgent semantics of asynchronous timed session types, where input actions happen as soon as possible. We show that with this semantics we can recover to the timed setting an appealing property of untimed session types: namely, deadlock-freedom is preserved when passing from synchronous to asynchronous communication.
Keywords
Cite
@article{arxiv.1810.02472,
title = {On Urgency in Asynchronous Timed Session Types},
author = {Maurizio Murgia},
journal= {arXiv preprint arXiv:1810.02472},
year = {2018}
}
Comments
In Proceedings ICE 2018, arXiv:1810.02053