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) (KAR id:69683)

PDF Author's Accepted Manuscript
Language: English
Download (202kB) Preview
[thumbnail of main.pdf]
Preview
This file may not be suitable for users of assistive technology.
Request an accessible format
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: 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: 16 Feb 2021 13:58 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