Abstract | ||
---|---|---|
This paper studies a behavioural theory of the π-calculus with session types under the fundamental principles of the practice of distributed computing -- asynchronous communication which is order-preserving inside each connection (session), augmented with asynchronous inspection of events (message arrivals). A new theory of bisimulations is introduced, distinct from either standard asynchronous or synchronous bisimilarity, accurately capturing the semantic nature of session-based asynchronously communicating processes augmented with event primitives. The bisimilarity coincides with the reduction-closed barbed congruence. We examine its properties and compare them with existing semantics. Using the behavioural theory, we verify that the program transformation of multithreaded into event-driven session based processes, using Lauer-Needham duality, is type and semantic preserving. |
Year | Venue | Keywords |
---|---|---|
2011 | FMOODS/FORTE | lauer-needham duality,standard asynchronous,synchronous bisimilarity,new theory,asynchronous inspection,semantic nature,behavioural theory,asynchronous session semantics,session type,event-driven session,asynchronous communication |
Field | DocType | Volume |
Tuple space,Asynchronous communication,Program transformation,Computer science,Theoretical computer science,Message queue,Duality (optimization),Congruence (geometry),Semantics | Conference | 6722 |
ISSN | Citations | PageRank |
0302-9743 | 11 | 0.59 |
References | Authors | |
19 | 3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Dimitrios Kouzapas | 1 | 99 | 8.56 |
Nobuko Yoshida | 2 | 2607 | 153.29 |
Kohei Honda | 3 | 698 | 29.60 |