2012/04/11 by Lange, Julien, Tuosto, Emilio · 1 citation
#Distributed #FOS: Computer and information sciences #Parallel #Programming Languages (cs.PL) #and Cluster Computing (cs.DC)
paper · doi:10.48550/arxiv.1204.2566
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).