On the asynchronous nature of the asynchronous pi-calculus, Concurrency, Graphs and Models, pp.473-492, 2008. ,
Global Progress in Dynamically Interleaved Multiparty Sessions, In CONCUR LNCS, vol.5201, pp.418-433, 2008. ,
DOI : 10.1007/978-3-540-85361-9_33
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.144.1553
Comparing three semantics for Linda-like languages, Theoretical Computer Science, vol.240, issue.1, pp.49-90, 2000. ,
DOI : 10.1016/S0304-3975(99)00227-3
URL : http://doi.org/10.1016/s0304-3975(99)00227-3
Session Types as Intuitionistic Linear Propositions, In CONCUR LNCS, vol.6269, pp.222-236, 2010. ,
DOI : 10.1007/978-3-642-15375-4_16
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.170.96
Asynchronous Session Types and Progress for Object Oriented Languages, FMOODS'07, pp.1-31, 2007. ,
DOI : 10.1016/j.tcs.2006.06.028
Linear type theory for asynchronous session types, Journal of Functional Programming, vol.73, issue.01, 2009. ,
DOI : 10.1006/inco.1994.1093
A Distributed Pi-Calculus. CUP, 2007. ,
DOI : 10.1017/cbo9780511611063
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.208.1383
An object calculus for asynchronous communication, ECOOP'91, pp.133-147, 1991. ,
DOI : 10.1007/BFb0057019
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.53.4500
Language primitives and type discipline for structured communication-based programming, ESOP'98, pp.22-138, 1998. ,
DOI : 10.1007/BFb0053567
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.30.3650
On reduction-based process semantics, Theoretical Computer Science, vol.151, issue.2, pp.437-486, 1995. ,
DOI : 10.1016/0304-3975(95)00074-7
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.30.9756
A uniform type structure for secure information flow, TOPLAS, vol.29, issue.6, 2007. ,
DOI : 10.1145/1286821.1286822
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.16.8267
Multiparty Asynchronous Session Types, POPL'08, pp.273-284, 2008. ,
DOI : 10.1145/2827695
URL : http://doi.org/10.1145/2827695
Type-Safe Eventful Sessions in Java, LNCS, vol.6183, pp.329-353, 2010. ,
DOI : 10.1007/978-3-642-14107-2_16
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.153.6729
Session-Based Distributed Programming in Java, ECOOP'08, pp.516-541, 2008. ,
DOI : 10.1007/978-3-540-70592-5_22
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.137.3166
On the duality of operating system structures, ACM SIGOPS Operating Systems Review, vol.13, issue.2, pp.3-19, 1979. ,
DOI : 10.1145/850657.850658
Extending csp with tests for availability, Procedings of Communicating Process Architectures, 2009. ,
Models for CSP with availability information, EXPRESS'10, pp.91-105, 2010. ,
DOI : 10.4204/EPTCS.41.7
Communication and Concurrency, 1989. ,
A Calculus of Mobile Processes, Parts I and II, Info.& Comp, vol.100, issue.1, 1992. ,
Session-Based Communication Optimisation for Higher-Order Mobile Processes, TLCA'09, pp.203-218, 2009. ,
DOI : 10.1007/3-540-58184-7_118
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.156.9928
On confluence in the ??-calculus, ICALP'97, pp.314-324, 1997. ,
DOI : 10.1007/3-540-63165-8_188
An interaction-based language and its typing system, PARLE'94, pp.398-413, 1994. ,
DOI : 10.1007/3-540-58184-7_118
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.45.1431