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 条
  • [41] Hazard Checking of Timed Asynchronous Circuits Revisited
    Beal, Frederic
    Yoneda, Tomohiro
    Myers, Chris J.
    [J]. FUNDAMENTA INFORMATICAE, 2008, 88 (04) : 411 - 435
  • [42] Timed Petri nets: Efficiency of asynchronous systems
    Bihler, E
    Vogler, W
    [J]. FORMAL METHODS FOR THE DESIGN OF REAL-TIME SYSTEMS, 2004, 3185 : 25 - 58
  • [43] Hazard checking of timed asynchronous circuits revisited
    Beal, Frederoc
    Yoneda, Tomohiro
    Myers, Chris J.
    [J]. SEVENTH INTERNATIONAL CONFERENCE ON APPLICATION OF CONCURRENCY TO SYSTEM DESIGN, PROCEEDINGS, 2007, : 51 - +
  • [44] Timed automata with asynchronous processes: Schedulability and decidability
    Fersman, E
    Pettersson, P
    Yi, W
    [J]. TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANAYLSIS OF SYSTEMS, PROCEEDINGS, 2002, 2280 : 67 - 82
  • [45] Session Types as Generic Process Types
    Gay, Simon
    Gesbert, Nils
    Ravara, Antonio
    [J]. ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2014, (160): : 94 - 110
  • [46] An implementation of session types
    Neubauer, M
    Thiemann, P
    [J]. PRACTICAL ASPECTS OF DECLARATIVE LANGUAGES, 2004, 3057 : 56 - 70
  • [47] Objects and session types
    Dezani-Ciancaglini, Mariangiola
    Drossopoulou, Sophia
    Mostrous, Dimitris
    Yoshida, Nobuko
    [J]. INFORMATION AND COMPUTATION, 2009, 207 (05) : 595 - 641
  • [48] Session Types for Broadcasting
    Kouzapas, Dimitrios
    Gutkovas, Ramunas
    Gay, Simon J.
    [J]. ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2014, (155): : 25 - 31
  • [49] Nested Session Types
    Das, Ankush
    DeYoung, Henry
    Mordido, Andreia
    Pfenning, Frank
    [J]. ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 2022, 44 (03):
  • [50] Foundations of Session Types
    Castagna, Giuseppe
    Dezani-Ciancaglini, Mariangiola
    Giachino, Elena
    Padovani, Luca
    [J]. PPDP'09: PROCEEDINGS OF THE 11TH INTERNATIONAL ACM SIGPLAN SYMPOSIUM ON PRINCIPLES AND PRACTICE OF DECLARATIVE PROGRAMMING, 2009, : 219 - 230
12345