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. Open Publishing Association pp. 85-94. (doi:https://doi.org/10.4204/EPTCS.279) (Full text available)

PDF - Author's Accepted Manuscript
Download (202kB) Preview
[img]
Preview
Official URL
http://dx.doi.org/10.4204/EPTCS.279

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.

Item Type: Conference or workshop item (Proceeding)
Subjects: Q Science > QA Mathematics (inc Computing science) > QA 76 Software, computer programming, > QA76.76 Computer software
Divisions: Faculties > Sciences > School of Computing
Faculties > Sciences > School of Computing > Programming Languages and Systems Group
Depositing User: Maurizio Murgia
Date Deposited: 19 Oct 2018 10:19 UTC
Last Modified: 23 Oct 2018 15:02 UTC
Resource URI: https://kar.kent.ac.uk/id/eprint/69683 (The current URI for this page, for reference purposes)
  • Depositors only (login required):

Downloads

Downloads per month over past year