Skip to main content

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)

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

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)
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: 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 Jul 2019 11:27 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