Skip to main content
Kent Academic Repository

On Urgency in Asynchronous Timed Session Types

Murgia, Maurizio (2018) On Urgency in Asynchronous Timed Session Types. In: Electronic Proceedings in Theoretical Computer Science. Proceedings 11th Interaction and Concurrency Experience. 279. pp. 85-94. Open Publishing Association (doi:10.4204/EPTCS.279.9) (KAR id:69683)


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.

Item Type: Conference or workshop item (Proceeding)
DOI/Identification number: 10.4204/EPTCS.279.9
Subjects: Q Science > QA Mathematics (inc Computing science) > QA 76 Software, computer programming, > QA76.76 Computer software
Divisions: Divisions > Division of Computing, Engineering and Mathematical Sciences > School of Computing
Depositing User: Maurizio Murgia
Date Deposited: 19 Oct 2018 10:19 UTC
Last Modified: 04 Mar 2024 19:06 UTC
Resource URI: (The current URI for this page, for reference purposes)

University of Kent Author Information

Murgia, Maurizio.

Creator's ORCID:
CReDIT Contributor Roles:
  • Depositors only (login required):

Total unique views for this document in KAR since July 2020. For more details click on the image.