Skip to main content

Asynchronous timed session types: from duality to time-sensitive processes

Bocchi, Laura, Murgia, Maurizio, Vasconcelos, Vasco Thudichum, Yoshida, Nobuko (2019) Asynchronous timed session types: from duality to time-sensitive processes. In: Lecture Notes in Computer Science. Programming Languages and Systems. ESOP 2019. 11423. pp. 583-610. Springer ISBN 978-3-030-17183-4. E-ISBN 978-3-030-17184-1. (doi:10.1007/978-3-030-17184-1_21) (KAR id:72337)

PDF Publisher pdf
Language: English


Download this file
(PDF/913kB)
[thumbnail of Asynchronous timed session types.pdf]
Request a format suitable for use with assistive technology e.g. a screenreader
PDF Author's Accepted Manuscript
Language: English

Restricted to Repository staff only
Contact us about this Publication
[thumbnail of main.pdf]
Official URL:
https://doi.org/10.1007/978-3-030-17184-1_21

Abstract

We present a behavioural typing system for a higher-order timed calculus, using session types to model timed protocols, and the calculus to abstract implementations. Behavioural typing ensures that processes in the calculus will perform actions in the time-windows prescribed by their protocols. We introduce duality and subtyping for timed asynchronous session types. Duality includes a class of protocols that previous work on asynchronous timed session types could not type-check. Subtyping is critical for precision of our typing system, especially for

session delegation. The composition of dual (timed asynchronous) types enjoys progress when using an urgent receive semantics, in which receive actions are executed as soon as the expected message is available. Our calculus increases the modelling power of calculi used in the previous work on timed sessions, adding a blocking receive primitive with timeout, and a primitive that consumes an arbitrary amount of time in a given range.

Item Type: Conference or workshop item (Proceeding)
DOI/Identification number: 10.1007/978-3-030-17184-1_21
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
Funders: Organisations -1 not found.
Depositing User: Laura Bocchi
Date Deposited: 11 Feb 2019 15:37 UTC
Last Modified: 10 Jan 2024 22:10 UTC
Resource URI: https://kar.kent.ac.uk/id/eprint/72337 (The current URI for this page, for reference purposes)

University of Kent Author Information

Bocchi, Laura.

Creator's ORCID: https://orcid.org/0000-0002-7177-9395
CReDIT Contributor Roles:

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.