Session-Based Programming for Parallel Algorithms, PLACES, EPTCS, 2009. ,
DOI : 10.4204/eptcs.17.2
URL : http://arxiv.org/abs/1002.0933
A Theory of Design-by-Contract for Distributed Multiparty Interactions, CONCUR'10, pp.162-176 ,
DOI : 10.1007/978-3-642-15375-4_12
Parallel Algorithms, 2008. ,
URL : https://hal.archives-ouvertes.fr/hal-00789466
Dynamic Multirole Session Types, POPL '11, pp.435-446, 2011. ,
Modular Session Types for Distributed Object-Oriented Programming, POPL '10, pp.299-312, 2010. ,
DOI : 10.1145/1706299.1706335
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.150.5609
Using MPI: Portable Parallel Programming with the Message-Passing Interface, 1999. ,
Language primitives and type discipline for structured communication-based programming, ESOP '98, pp.122-138, 1998. ,
DOI : 10.1007/BFb0053567
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.30.3650
Multiparty Asynchronous Session Types, POPL, pp.273-284, 2008. ,
DOI : 10.1145/2827695
URL : http://doi.org/10.1145/2827695
Structured, Safe and High-level Communications Programming with Session Types, 2010. ,
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, LNCS, vol.5142, 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
High Performance Parallel Design based on Session Programming, 2010. ,
Nested parallelism for multi-core HPC systems using Java, Journal of Parallel and Distributed Computing, vol.69, issue.6, pp.532-545, 2009. ,
DOI : 10.1016/j.jpdc.2009.02.006
Efficient Session Type Guided Distributed Interaction, In COORDINATION LNCS, vol.6116, pp.152-167, 2010. ,
DOI : 10.1007/978-3-642-13414-2_11
URL : https://hal.archives-ouvertes.fr/hal-01054629
StreamFlex: High-Throughput Stream Programming in Java, OOPSLA '07, pp.211-228, 2007. ,
Formal Verification of Practical MPI Programs, PPoPP '09, pp.261-270, 2009. ,
DOI : 10.1145/1504176.1504214
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.360.8326
Language Primitives and Type Discipline for Structured Communication-Based Programming Revisited: Two Systems for Higher-Order Session Communication, Electronic Notes in Theoretical Computer Science, vol.171, issue.4, pp.73-93, 2007. ,
DOI : 10.1016/j.entcs.2007.02.056
URL : http://doi.org/10.1016/j.entcs.2007.02.056