Compiling with Continuations, 2007. ,
DOI : 10.1017/CBO9780511609619
Synchronous Multiparty Session Types, Electronic Notes in Theoretical Computer Science, vol.241, pp.3-33, 2009. ,
DOI : 10.1016/j.entcs.2009.06.002
URL : http://doi.org/10.1016/j.entcs.2009.06.002
Multisession Session Types for a Distributed Calculus, TGC07. pp, pp.38-57 ,
Asynchronous Session Types and Progress for Object-oriented Languages, FMOODS'07, pp.1-31 ,
Language Support for Fast and Reliable Message-based Communication in Singularity OS, EuroSys '06, pp.177-190 ,
Patterns of Enterprise Application Architecture, 2002. ,
Session Types for Inter-process Communication, 2003. ,
Modular Session Types for Distributed Object-oriented Programming, 2010. ,
Language primitives and type discipline for structured communication-based programming, ESOP'98, pp.122-138 ,
DOI : 10.1007/BFb0053567
Multiparty Asynchronous Session Types, pp.273-284, 2008. ,
DOI : 10.1145/1328438.1328472
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.128.7594
Session-Based Distributed Programming in Java, pp.516-541, 2008. ,
DOI : 10.1007/978-3-540-70592-5_22
Remote Batch Invocation for Compositional Object Services, pp.595-617, 2009. ,
DOI : 10.1109/MIC.2003.1250585
Rpc Chains: Efficient Client- Server Communication in Geodistributed Systems, pp.17-30, 2009. ,
An interaction-based language and its typing system, PARLE'94, pp.398-413 ,
DOI : 10.1007/3-540-58184-7_118
Typing the behavior of Software Components using Session Types, Fundam. Inf, vol.73, issue.4, pp.583-598, 2006. ,
An Integrated Experimental Environment for Distributed Systems and Networks, pp.255-270, 2002. ,
Optimising Java RMI Programs by Communication Restructuring, Middleware '03, pp.324-343 ,
DOI : 10.1007/3-540-44892-6_17