Session-based distributed programming in Java

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

Active Bibliography

7 Fundamentals of Session Types – Vasco T. Vasconcelos - 2009
The SJ Framework for Transport-Independent, Type-Safe, Object-Oriented Communications Programming – Raymond Hu, Nobuko Yoshida, Andi Bejleri
Marco Carbone – Queen Mary, Nobuko Yoshida, Queen Mary
Multiparty Asynchonous Session Types – Kohei Honda, Nobuko Yoshida, Marco Carbone - 2008
82 Multiparty asynchronous session types – Kohei Honda, Nobuko Yoshida, Marco Carbone - 2008
11 Two session typing systems for higher-order mobile processes – Dimitris Mostrous, Nobuko Yoshida - 2007
4 A Session Object Calculus for Structured CommunicationBased Programming – Dimitris Mostrous, Nobuko Yoshida - 2008
2 Language and Runtime Implementation of Sessions for Java – Raymond Hu, Nobuko Yoshida, Kohei Honda - 2007
20 Linear Type Theory for Asynchronous Session Types – Simon J. Gay, Vasco T. Vasconcelos - 2008
24 Bounded Polymorphism in Session Types – Simon Gay, Malcolm Hole - 2003
5 Type-Safe Eventful Sessions in Java – Raymond Hu, Olivier Pernet, Dimitrios Kouzapas, Nobuko Yoshida, Kohei Honda
20 On Progress for Structured Communications – Mariangiola Dezani-ciancaglini, Ugo De Liguoro, Nobuko Yoshida - 2008
1 N.: Bounded session types for object oriented languages – Mariangiola Dezani-ciancaglini, Elena Giachino, Sophia Drossopoulou, Nobuko Yoshida - 2007
9 A Secure Compiler for Session Abstractions – Ricardo Corin, Pierre-Malo Deniélou, Cédric Fournet, Karthikeyan Bhargavan, James Leifer
3 Scribbling interactions with a formal foundation – Kohei Honda, Aybek Mukhamedov, Gary Brown, Tzu-chun Chen, Nobuko Yoshida - 2011
14 Modular Session Types for Distributed Object-Oriented Programming – Simon J. Gay, Vasco T. Vasconcelos, António Ravara, Nils Gesbert, Alexandre Z. Caldeira
3 Channels as Objects in Concurrent Object-Oriented Programming – Joana Campos, Vasco T. Vasconcelos
14 Sessions and session types: an overview – Mariangiola Dezani-Ciancaglini, Ugo de'Liguoro - 2010
17 A Calculus of Global Interaction Based on Session Types – Marco Carbone, Kohei Honda, Nobuko Yoshida - 2006