Synthesising choreographies from local session types

Authors:
Julien Lange;Emilio Tuosto
Affiliations:
Department of Computer Science, University of Leicester, UK;Department of Computer Science, University of Leicester, UK
Venue:
CONCUR'12 Proceedings of the 23rd international conference on Concurrency Theory
Year:
2012

Citing 11
Cited 1

Language Primitives and Type Discipline for Structured Communication-Based Programming

ESOP '98 Proceedings of the 7th European Symposium on Programming: Programming Languages and Systems
Multiparty asynchronous session types

Proceedings of the 35th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Conversation Types

ESOP '09 Proceedings of the 18th European Symposium on Programming Languages and Systems: Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009
Global Principal Typing in Partially Commutative Asynchronous Sessions

ESOP '09 Proceedings of the 18th European Symposium on Programming Languages and Systems: Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009
Contract-Driven Implementation of Choreographies

Trustworthy Global Computing
Contracts for Mobile Processes

CONCUR 2009 Proceedings of the 20th International Conference on Concurrency Theory
A theory of design-by-contract for distributed multiparty interactions

CONCUR'10 Proceedings of the 21st international conference on Concurrency theory
Dynamic multirole session types

Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
On global types and multi-party sessions

FMOODS'11/FORTE'11 Proceedings of the joint 13th IFIP WG 6.1 and 30th IFIP WG 6.1 international conference on Formal techniques for distributed systems
A formal account of contracts for web services

WS-FM'06 Proceedings of the Third international conference on Web Services and Formal Methods
On projecting processes into session types

Mathematical Structures in Computer Science

Multiparty compatibility in communicating automata: characterisation and synthesis of global session types

ICALP'13 Proceedings of the 40th international conference on Automata, Languages, and Programming - Volume Part II

Quantified Score

Hi-index	0.00

Visualization

Abstract

Designing and analysing multiparty distributed interactions can be achieved either by means of a global view (e.g. in choreography-based approaches) or by composing available computational entities (e.g. in service orchestration). This paper proposes a typing systems which allows, under some conditions, to synthesise a choreography (i.e. a multiparty global type) from a set of local session types which describe end-point behaviours (i.e. local types).