Session Types for Orchestrated Interactions

descriptionPublicationkeyboard_double_arrow_right Article , Preprint , Conference object , Other literature type 29 Nov 2017Embargo end date: 01 Nov 2017 Italy English Publisher:Open Publishing AssociationJournal:Electronic Proceedings in Theoretical Computer Science, volume 261, pages 17-36 (eissn: 2075-2180,

Copyright policy )

Authors: Barbanera Franco; De'Liguoro Ugo.;

doi: 10.4204/eptcs.261.5 , 10.48550/arxiv.1711.11209

arXiv: 1711.11209

handle: 2318/2077430

Session Types for Orchestrated Interactions

- Summary
- Subjects
- Metrics

Abstract

In the setting of the pi-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.

In Proceedings ICE 2017, arXiv:1711.10708

Country

Italy

Related Organizations

University of Turin
Italy
University of Catania
Italy

Keywords

FOS: Computer and information sciences, Computer Science - Logic in Computer Science, Electronic computers. Computer science, QA1-939, QA75.5-76.95, Mathematics, Logic in Computer Science (cs.LO)

Impact byBIP!

	selected citations These citations are derived from selected sources. This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).	1
	popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network.	Average
	influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).	Average
	impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network.	Average