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 条
  • [31] Cognitive Behavioural Relating Therapy (CBRT) for Voice Hearers: A Case Study
    Paulik, Georgie
    Hayward, Mark
    Birchwood, Max
    [J]. BEHAVIOURAL AND COGNITIVE PSYCHOTHERAPY, 2013, 41 (05) : 626 - 631
  • [32] Assembling components with behavioural contracts
    Carrez, C
    Fantechi, A
    Najm, E
    [J]. ANNALES DES TELECOMMUNICATIONS-ANNALS OF TELECOMMUNICATIONS, 2005, 60 (7-8): : 989 - 1022
  • [33] Session Types = Intersection Types
    Padovani, Luca
    [J]. ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2011, (45): : 71 - 89
  • [34] Relating employees' psychological contracts to their personality
    Tallman, Rick R. J.
    Bruning, Nealia S.
    [J]. JOURNAL OF MANAGERIAL PSYCHOLOGY, 2008, 23 (06) : 688 - 712
  • [35] Behavioural semantics for asynchronous components
    Ameur-Boulifa, R.
    Henrio, L.
    Kulankhina, O.
    Madelaine, E.
    Savu, A.
    [J]. JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, 2017, 89 : 1 - 40
  • [36] The Law Relating to Building and Building Contracts
    Lawrence, A. W.
    [J]. PUBLIC ADMINISTRATION, 1925, 3 (03) : 292 - 292
  • [37] AUCTIONING INCENTIVE CONTRACTS - THE COMMON COST, INDEPENDENT TYPES CASE
    BRANCO, F
    [J]. JOURNAL OF REGULATORY ECONOMICS, 1995, 7 (03) : 277 - 292
  • [38] Asynchronous Cooperative Contracts for Cooperative Scheduling
    Kamburjan, Eduard
    Din, Crystal Chang
    Haehnle, Reiner
    Johnsen, Einar Broch
    [J]. SOFTWARE ENGINEERING AND FORMAL METHODS (SEFM 2019), 2019, 11724 : 48 - 66
  • [39] Session-typed concurrent contracts
    Gommerstadt, Hannah
    Jia, Limin
    Pfenning, Frank
    [J]. JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, 2022, 124
  • [40] RETRACTABILITY, GAMES AND ORCHESTRATORS FOR SESSION CONTRACTS
    Barbanera, Franco
    Liguoro, Ugo De'
    [J]. LOGICAL METHODS IN COMPUTER SCIENCE, 2017, 13 (03)
12345