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). |
Year | Venue | Field |
---|---|---|
2012 | CoRR | World Wide Web,Programming language,Software engineering,Computer science,Choreography,Orchestration (computing) |
DocType | Volume | Citations |
Journal | abs/1204.2566 | 1 |
PageRank | References | Authors |
0.40 | 4 | 2 |
Name | Order | Citations | PageRank |
---|---|---|---|
Julien Lange | 1 | 45 | 6.03 |
Emilio Tuosto | 2 | 499 | 42.62 |