On Urgency in Asynchronous Timed Session Types

Maurizio Murgia
(University of Kent)

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.

In Massimo Bartoletti and Sophia Knight: Proceedings 11th Interaction and Concurrency Experience (ICE 2018), Madrid, Spain, June 20-21, 2018, Electronic Proceedings in Theoretical Computer Science 279, pp. 85–94.
Published: 4th October 2018.

ArXived at: http://dx.doi.org/10.4204/EPTCS.279.9 bibtex PDF
References in reconstructed bibtex, XML and HTML format (approximated).
Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org