A theoretical basis of communication-centred concurrent programming Export

@misc{citeulike:5076389, abstract = {Abstract. This document presents two different paradigms of description of communication behaviour, one focussing on global message flows and another on end-point behaviours, as formal calculi based on session types. The global calculus originates from Choreography Description Language, a web service description language developed by W3C WS-CDL working group. The end-point calculus is a typed π-calculus. The global calculus describes an interaction scenario from a vantage viewpoint; the endpoint calculus precisely identifies a local behaviour of each participant. After introducing the static and dynamic semantics of these two calculi, we explore a theory of endpoint projection which defines three principles for well-structured global description. The theory then defines a translation under the three principles which is sound and complete in the sense that all and only behaviours specified in the global description are realised as communications among end-point processes. Throughout the theory, underlying type structures play a fundamental role. The document is divided in two parts: part I introduces the two descriptive frameworks using simple but non-trivial examples; the second part establishes a theory of the global and end-point formalisms.}, author = {Carbone, Marco and da Nobuko Yoshida and Milner, Robin and Brown, Gary and Ross-Talbot, Steve}, citeulike-article-id = {5076389}, citeulike-linkout-0 = {http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.63.3912}, keywords = {2006, cdl, concurrent, epp, pi, read}, posted-at = {2009-07-06 16:40:24}, priority = {0}, title = {A theoretical basis of communication-centred concurrent programming}, url = {http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.63.3912}, year = {2006} }

TY - ELEC ID - citeulike:5076389 L3 - citeulike-article-id:5076389 N2 - Abstract. This document presents two different paradigms of description of communication behaviour, one focussing on global message flows and another on end-point behaviours, as formal calculi based on session types. The global calculus originates from Choreography Description Language, a web service description language developed by W3C WS-CDL working group. The end-point calculus is a typed π-calculus. The global calculus describes an interaction scenario from a vantage viewpoint; the endpoint calculus precisely identifies a local behaviour of each participant. After introducing the static and dynamic semantics of these two calculi, we explore a theory of endpoint projection which defines three principles for well-structured global description. The theory then defines a translation under the three principles which is sound and complete in the sense that all and only behaviours specified in the global description are realised as communications among end-point processes. Throughout the theory, underlying type structures play a fundamental role. The document is divided in two parts: part I introduces the two descriptive frameworks using simple but non-trivial examples; the second part establishes a theory of the global and end-point formalisms. TI - A theoretical basis of communication-centred concurrent programming KW - 2006 KW - cdl KW - concurrent KW - epp KW - pi KW - read AU - Carbone, Marco AU - da Nobuko Yoshida AU - Milner, Robin AU - Brown, Gary AU - Ross-Talbot, Steve PY - 2006/// UR - http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.63.3912 ER -