Session-based distributed programming in Java

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

Documents Related by Co-Citation

202 Language primitives and type discipline for structured communication-based programming – Nobuko Yoshida, Vasco T. Vasconcelos - 1998
89 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
112 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
60 Subtyping for session types in the pi calculus – S Gay, M Hole - 2005
84 Structured Communication-Centred Programming for Web Services – Marco Carbone, Kohei Honda, Nobuko Yoshida - 2007
35 Conversation Types – Luís Caires, Hugo Torres Vieira - 2008
18 Global Principal Typing in Partially Commutative Asynchronous Sessions – Dimitris Mostrous, Nobuko Yoshida, Kohei Honda
26 An Implementation of Session Types – Matthias Neubauer, Peter Thiemann - 2004
21 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 Contracts for mobile processes – Luca Padovani - 2009
30 Cryptographic protocol synthesis and verification for multiparty sessions – Karthikeyan Bhargavan, Ricardo Corin, Pierre-malo Deniélou, Cédric Fournet, James J. Leifer - 2009
707 Types and Programming Languages – B Pierce - 2002
8 Haskell session types with (almost) no class – Riccardo Pucella, Jesse A. Tov - 2008
8 Organization for Standardization ISO 20022 UNIversal Financial Industry message scheme – International - 2002
15 Parameterised multiparty session types – Nobuko Yoshida, Pierre-malo Deniélou, Andi Bejleri, Raymond Hu - 2010