On Urgency in Asynchronous Timed Session Types

被引：1
|
作者：
Murgia, Maurizio [1 ]
机构：
[1] Univ Kent, Sch Comp, Canterbury, Kent, England
来源：
ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE | 2018年 / 279期
基金：
英国工程与自然科学研究理事会;
关键词：
D O I：
10.4204/EPTCS.279.9
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
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.
引用
收藏
页码：85 / 94
页数：10
相关论文
共 50 条
  • [1] Input urgent semantics for asynchronous timed session types
    Murgia, Maurizio
    [J]. JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, 2019, 107 : 38 - 53
  • [2] TIMED SESSION TYPES
    Bartoletti, Massimo
    Cimoli, Tiziana
    Murgia, Maurizio
    [J]. LOGICAL METHODS IN COMPUTER SCIENCE, 2017, 13 (04)
  • [3] Asynchronous Timed Session Types From Duality to Time-Sensitive Processes
    Bocchi, Laura
    Murgia, Maurizio
    Vasconcelos, Vasco Thudichum
    Yoshida, Nobuko
    [J]. PROGRAMMING LANGUAGES AND SYSTEMS, ESOP 2019: 28TH EUROPEAN SYMPOSIUM ON PROGRAMMING, 2019, 11423 : 583 - 610
  • [4] Exceptional Asynchronous Session Types
    Fowler, Simon
    Lindley, Sam
    Morris, J. Garrett
    Decova, Sara
    [J]. PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, 2019, 3
  • [5] Multiparty asynchronous session types
    Honda, Kohei
    Yoshida, Nobuko
    Carbone, Marco
    [J]. ACM SIGPLAN NOTICES, 2008, 43 (01) : 273 - 284
  • [6] Multiparty Asynchronous Session Types
    Honda, Kohei
    Yoshida, Nobuko
    Carbone, Marco
    [J]. JOURNAL OF THE ACM, 2016, 63 (01)
  • [7] Multiparty Asynchronous Session Types
    Honda, Kohei
    Yoshida, Nobuko
    Carbone, Marco
    [J]. POPL'08: PROCEEDINGS OF THE 35TH ANNUAL ACM SIGPLAN-SIGACT SYMPOSIUM ON PRINCIPLES OF PROGRAMMING LANGUAGES, 2008, : 273 - 284
  • [8] Compliance and Subtyping in Timed Session Types
    Bartoletti, Massimo
    Cimoli, Tiziana
    Murgia, Maurizio
    Podda, Alessandro Sebastian
    Pompianu, Livio
    [J]. FORMAL TECHNIQUES FOR DISTRIBUTED OBJECTS, COMPONENTS, AND SYSTEMS, FORTE 2015, 2015, 9039 : 161 - 177
  • [9] Fair Refinement for Asynchronous Session Types
    Bravetti, Mario
    Lange, Julien
    Zavattaro, Gianluigi
    [J]. FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATION STRUCTURES, FOSSACS 2021, 2021, 12650 : 144 - 163
  • [10] Asynchronous Session Types: Exceptions and Multiparty Interactions
    Carbone, Marco
    Yoshida, Nobuko
    Honda, Kohei
    [J]. FORMAL METHODS FOR WEB SERVICES, 2009, 5569 : 187 - +
12345