A. Bejleri, R. Hu, and N. Yoshida, Session-Based Programming for Parallel Algorithms, PLACES, EPTCS, 2009.
DOI : 10.4204/eptcs.17.2

URL : http://arxiv.org/abs/1002.0933

L. Bocchi, K. Honda, E. Tuosto, and N. Yoshida, A Theory of Design-by-Contract for Distributed Multiparty Interactions, CONCUR'10, pp.162-176
DOI : 10.1007/978-3-642-15375-4_12

H. Casanova, A. Legrand, and Y. Robert, Parallel Algorithms, 2008.
URL : https://hal.archives-ouvertes.fr/hal-00789466

P. Deniélou and N. Yoshida, Dynamic Multirole Session Types, POPL '11, pp.435-446, 2011.

S. J. Gay, V. T. Vasconcelos, A. Ravara, N. Gesbert, and A. Z. Caldeira, 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

W. Gropp, E. Lusk, and A. Skjellum, Using MPI: Portable Parallel Programming with the Message-Passing Interface, 1999.

K. Honda, V. T. Vasconcelos, and M. Kubo, 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

K. Honda, N. Yoshida, and M. Carbone, Multiparty Asynchronous Session Types, POPL, pp.273-284, 2008.
DOI : 10.1145/2827695

URL : http://doi.org/10.1145/2827695

R. Hu, Structured, Safe and High-level Communications Programming with Session Types, 2010.

R. Hu, D. Kouzapas, O. Pernet, N. Yoshida, and K. Honda, 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

R. Hu, N. Yoshida, and K. Honda, 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

N. Ng, High Performance Parallel Design based on Session Programming, 2010.

A. Shafi, B. Carpenter, and M. Baker, 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

K. Sivaramakrishnan, K. Nagaraj, L. Ziarek, and P. Eugster, 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

J. H. Spring, J. Privat, R. Guerraoui, and J. Vitek, StreamFlex: High-Throughput Stream Programming in Java, OOPSLA '07, pp.211-228, 2007.

A. Vo, S. Vakkalanka, M. Delisi, G. Gopalakrishnan, R. M. Kirby et al., 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

N. Yoshida and V. T. Vasconcelos, 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