Relating Session Types and Behavioural Contracts: The Asynchronous Case

被引：4
|
作者：
Bravetti, Mario [1 ,2 ]
Zavattaro, Gianluigi [1 ,2 ]
机构：
[1] Univ Bologna, Dept Comp Sci & Engn, INRIA, Bologna, Italy
[2] Univ Bologna, Focus Team, INRIA, Bologna, Italy
来源：
SOFTWARE ENGINEERING AND FORMAL METHODS (SEFM 2019) | 2019年 / 11724卷
基金：
欧盟地平线“2020”;
关键词：
CHOREOGRAPHY CONFORMANCE; UNDECIDABILITY;
D O I：
10.1007/978-3-030-30446-1_2
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
We discuss the relationship between session types and behavioural contracts under the assumption that processes communicate asynchronously. We show the existence of a fully abstract interpretation of session types into a fragment of contracts, that maps session subtyping into binary compliance-preserving contract refinement. In this way, the recent undecidability result for asynchronous session subtyping can be used to obtain an original undecidability result for asynchronous contract refinement.
引用
收藏
页码：29 / 47
页数：19
相关论文
共 50 条
  • [1] Foundations of Session Types and Behavioural Contracts
    Huttel, Hans
    Lanese, Ivan
    Vasconcelos, Vasco T.
    Caires, Luis
    Carbone, Marco
    Denielou, Pierre-Malo
    Mostrous, Dimitris
    Padovani, Luca
    Ravara, Antonio
    Tuosto, Emilio
    Vieira, Hugo Torres
    Zavattaro, Gianluigi
    [J]. ACM COMPUTING SURVEYS, 2016, 49 (01)
  • [2] The pairing of contracts and session types
    Laneve, Cosimo
    Padovani, Luca
    [J]. CONCURRENCY, GRAPHS AND MODELS: ESSAYS DEDICATED TO UGO MONTANARI ON THE OCCASION OF HIS 65TH BIRTHDAY, 2008, 5065 : 681 - +
  • [3] Exceptional Asynchronous Session Types
    Fowler, Simon
    Lindley, Sam
    Morris, J. Garrett
    Decova, Sara
    [J]. PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, 2019, 3
  • [4] Multiparty asynchronous session types
    Honda, Kohei
    Yoshida, Nobuko
    Carbone, Marco
    [J]. ACM SIGPLAN NOTICES, 2008, 43 (01) : 273 - 284
  • [5] Multiparty Asynchronous Session Types
    Honda, Kohei
    Yoshida, Nobuko
    Carbone, Marco
    [J]. JOURNAL OF THE ACM, 2016, 63 (01)
  • [6] 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
  • [7] Modelling session types using contracts
    Bernardi, Giovanni
    Hennessy, Matthew
    [J]. MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, 2016, 26 (03) : 510 - 560
  • [8] RELATING FUNCTIONAL AND IMPERATIVE SESSION TYPES
    Saffrich, Hannes
    Thiemann, Peter
    [J]. LOGICAL METHODS IN COMPUTER SCIENCE, 2022, 18 (03) : 1 - 33
  • [9] On Urgency in Asynchronous Timed Session Types
    Murgia, Maurizio
    [J]. ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2018, (279): : 85 - 94
  • [10] 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
12345