Abstract | ||
---|---|---|
In the setting of the π-calculus with binary sessions, we aim at relaxing the notion of duality of session types by the concept of retractable compliance developed in contract theory. This leads to extending session types with a new type operator of “speculative selection” including choices not necessarily offered by a compliant partner. We address the problem of selecting successful communicating branches by means of an operational semantics based on orchestrators, which has been shown to be equivalent to the retractable semantics of contracts, but clearly more feasible. A type system, sound with respect to such a semantics, is hence provided. The introduction of subtyping when interactions are orchestrated naturally leads to explicit subtyping, where coercions are functors on orchestrators. Besides, priority-governed selection policies (either at type- or process-level) are investigated in order to get rid of nondeterministic behaviours but those of the partner processes of the interactions. |
Year | DOI | Venue |
---|---|---|
2019 | 10.1016/j.jlamp.2018.10.001 | Journal of Logical and Algebraic Methods in Programming |
Keywords | Field | DocType |
Session types,Orchestration,Compliance,Explicit subtyping | Operational semantics,Nondeterministic algorithm,Contract theory,Theoretical computer science,Functor,Duality (optimization),Operator (computer programming),Subtyping,Mathematics,Semantics | Journal |
Volume | Issue | ISSN |
102 | 1 | 2352-2208 |
Citations | PageRank | References |
0 | 0.34 | 16 |
Authors | ||
2 |
Name | Order | Citations | PageRank |
---|---|---|---|
Franco Barbanera | 1 | 357 | 35.14 |
ugo deliguoro | 2 | 5 | 1.45 |