Publications

BibTex format

@inproceedings{Bocchi:2019:10.1007/978-3-030-17184-1_21,
author = {Bocchi, L and Murgia, M and Vasconcelos, VT and Yoshida, N},
doi = {10.1007/978-3-030-17184-1_21},
publisher = {Springer Verlag},
title = {Asynchronous timed session types: from duality to time-sensitive processes},
url = {http://dx.doi.org/10.1007/978-3-030-17184-1_21},
year = {2019}
}

Download

RIS format (EndNote, RefMan)

TY  - CPAPER
AB  - We present a behavioural typing system for a higher-ordertimed  calculus,  using  session  types  to  model  timed  protocols,  and  thecalculus  to  abstract  implementations.  Behavioural  typing  ensures  thatprocesses in the calculus will perform actions in the time-windows pre-scribed by their protocols. We introduce duality and subtyping for timedasynchronous session types. Duality includes a class of protocols that pre-vious work on asynchronous timed session types could not type-check.Subtyping  is  critical  for  precision  of  our  typing  system,  especially  forsession delegation. The composition of dual (timed asynchronous) typesenjoys progress when using an urgent receive semantics, in which receiveactions are executed as soon as the expected message is available. Ourcalculus  increases  the  modelling  power  of  calculi  used  in  the  previouswork on timed sessions, adding a blocking receive primitive with time-out,  and  a  primitive  that  consumes  an  arbitrary  amount  of  time  in  agiven range.
AU  - Bocchi,L
AU  - Murgia,M
AU  - Vasconcelos,VT
AU  - Yoshida,N
DO  - 10.1007/978-3-030-17184-1_21
PB  - Springer Verlag
PY  - 2019///
SN  - 0302-9743
TI  - Asynchronous timed session types: from duality to time-sensitive processes
UR  - http://dx.doi.org/10.1007/978-3-030-17184-1_21
UR  - http://hdl.handle.net/10044/1/67465
ER  -

Download

ProfessorNobukoYoshida

Contact

Location

Summary

Citation

BibTex format

RIS format (EndNote, RefMan)