Session-based distributed programming in Java

by Raymond Hu , Nobuko Yoshida , Kohei Honda
Venue:ECOOP, Springer LNCS
Citations:30 - 13 self

Documents Related by Co-Citation

199 Language primitives and type discipline for structured communication-based programming – Nobuko Yoshida, Vasco T. Vasconcelos - 1998
82 Multiparty asynchronous session types – Kohei Honda, Nobuko Yoshida, Marco Carbone - 2008
53 Session Types for Object-Oriented Languages – Mariangiola Dezani-ciancaglini, Dimitris Mostrous, Nobuko Yoshida, Sophia Drossopoulou - 2006
109 An Interaction-based Language and its Typing System – Kaku Takeuchi, Kohei Honda, Makoto Kubo - 1994
28 Multisession session types for a distributed calculus – Eduardo Bonelli, Adriana Compagnoni - 2007
113 Language support for fast and reliable messagebased communication in Singularity OS – Manuel Fähndrich, Mark Aiken, Chris Hawblitzel, Orion Hodson, Galen Hunt, James R. Larus, Steven Levi - 2006
59 Subtyping for session types in the pi calculus – S J GAY, M J HOLE - 2005
84 Structured Communication-Centred Programming for Web Services – Marco Carbone, Kohei Honda, Nobuko Yoshida - 2007
34 Conversation Types – Luís Caires, Hugo Torres Vieira - 2008
17 Global Principal Typing in Partially Commutative Asynchronous Sessions – Dimitris Mostrous, Nobuko Yoshida, Kohei Honda
30 Cryptographic protocol synthesis and verification for multiparty sessions – Karthikeyan Bhargavan, Ricardo Corin, Pierre-malo Deniélou, Cédric Fournet, James J. Leifer - 2009
26 An Implementation of Session Types – Matthias Neubauer, Peter Thiemann - 2004
20 On Progress for Structured Communications – Mariangiola Dezani-ciancaglini, Ugo De Liguoro, Nobuko Yoshida - 2008
22 A Distributed Object-Oriented Language with Session Types – Mariangiola Dezani-Ciancaglini, Nobuko Yoshida, Alexander Ahern, Sophia Drossopoulou - 2005
15 Parameterised multiparty session types – Nobuko Yoshida, Pierre-malo Deniélou, Andi Bejleri, Raymond Hu - 2010
15 Contracts for mobile processes – Luca Padovani - 2009
20 Linear Type Theory for Asynchronous Session Types – Simon J. Gay, Vasco T. Vasconcelos - 2008
19 Bounded session types for object-oriented languages – M DEZANI-CIANCAGLINI, S DROSSOPOULOU, E GIACHINO, N YOSHIDA - 2007
702 Types and programming languages – Benjamin C Pierce - 2002