|
|
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
|
|
52
|
Multiparty asynchronous session types
– Kohei Honda, Nobuko Yoshida, Marco Carbone
- 2008
|
|
10
|
Two session typing systems for higher-order mobile processes
– Dimitris Mostrous, Nobuko Yoshida
- 2007
|
|
13
|
Linear Type Theory for Asynchronous Session Types
– Simon J. Gay, Vasco T. Vasconcelos
- 2008
|
|
4
|
A Session Object Calculus for Structured CommunicationBased Programming
– Dimitris Mostrous, Nobuko Yoshida
- 2008
|
|
3
|
Fundamentals of Session Types
– Vasco T. Vasconcelos
- 2009
|
|
4
|
Type-Safe Eventful Sessions in Java
– Raymond Hu, Olivier Pernet, Dimitrios Kouzapas, Nobuko Yoshida, Kohei Honda
|
|
1
|
Language and Runtime Implementation of Sessions for Java
– Raymond Hu, Nobuko Yoshida, Kohei Honda
- 2007
|
|
15
|
On Progress for Structured Communications
– Mariangiola Dezani-ciancaglini, Ugo De Liguoro, Nobuko Yoshida
- 2007
|
|
7
|
A Secure Compiler for Session Abstractions
– Ricardo Corin, Pierre-Malo Deniélou, Cédric Fournet, Karthikeyan Bhargavan, James Leifer
|
|
10
|
Modular Session Types for Distributed Object-Oriented Programming
– Simon J. Gay, Vasco T. Vasconcelos, António Ravara, Nils Gesbert, Alexandre Z. Caldeira
|
|
1
|
Channels as Objects in Concurrent Object-Oriented Programming
– Joana Campos, Vasco T. Vasconcelos
|
|
9
|
Sessions and session types: an overview
– Mariangiola Dezani-ciancaglini
- 2010
|
|
15
|
A Calculus of Global Interaction Based on Session Types
– Marco Carbone, Kohei Honda, Nobuko Yoshida
- 2006
|
|
3
|
Safe Parallel Programming with Session Java
– Olivier Pernet, Nicholas Ng, Raymond Hu, Nobuko Yoshida, Yiannos Kryftis
- 2010
|
|
4
|
Dynamic Interfaces
– Simon J. Gay, Vasco T. Vasconcelos, António Ravara
- 2007
|
|
69
|
Structured Communication-Centred Programming for Web Services
– Marco Carbone, Kohei Honda, Nobuko Yoshida
- 2007
|
|
18
|
A theoretical basis of communication-centred concurrent programming
– Marco Carbone, Kohei Honda , Nobuko Yoshida, Robin Milner, Gary Brown, Steve Ross-Talbot
- 2006
|
