Global Principal Typing in Partially Commutative Asynchronous Sessions (2009)
Dimitris Mostrous, Nobuko Yoshida, Kohei Honda
Abstract. We generalise a theory of multiparty session types for the π-calculus through asynchronous communication subtyping, which allows partial commutativity of actions with maximal flexibility...
Mariangiola Dezani-ciancaglini, Sophia Drossopoulou, Dimitris Mostrous, Nobuko Yoshida
A session takes place between two parties; after establishing a connection, each party interleaves local computations and communications (sending or receiving) with the other. Session types...
A Session Object Calculus for Structured CommunicationBased Programming (2008)
Dimitris Mostrous, Nobuko Yoshida
We present an object calculus for structured concurrent programming, facilitating the implementation of typed binary protocols, known as sessions. Session types are based on a concept of duality of...
Two session typing systems for higher-order mobile processes (2007)
Dimitris Mostrous, Nobuko Yoshida
Abstract. This paper proposes two typing systems for session interactions in higherorder mobile processes. Session types for the HOπ-calculus capture high-level structures of communication protocols...
Session Types for Object-Oriented Languages (2006)
Mariangiola Dezani-ciancaglini, Dimitris Mostrous, Nobuko Yoshida, Sophia Drossopoulou
Abstract. A session takes place between two parties; after establishing a connection, each party interleaves local computations with communications (sending or receiving) with the other. Session...
Session Types for Object-Oriented Languages (2006)
Mariangiola Dezani-ciancaglini, Dimitris Mostrous, Nobuko Yoshida, Sophia Drossopoulou
Abstract. A session takes place between two parties; after establishing a connection, each party interleaves local computations with communications (sending or receiving) with the other party....
Session Types for Object-Oriented Languages (2006)
Mariangiola Dezani-ciancaglini, Dimitris Mostrous, Nobuko Yoshida, Sophia Drossopoulou
Abstract. A session takes place between two parties; after establishing a con-nection, each interleaves local computations and communications (sending or receiving) with the other. Session types...
Session Types for Object-Oriented Languages (2006)
Mariangiola Dezani-ciancaglini, Dimitris Mostrous, Nobuko Yoshida, Sophia Drossopoulou
Abstract. A session takes place between two parties; after establishing a connection, each party interleaves local computations with communications (sending or receiving) with the other. Session...
Moose: a Minimal Object Oriented Language with Session Types (2005)
The most important thing in the programming language is the name. A language will not succeed without a good name. I have recently invented a very good name and now I am looking for a suitable...
Moose: a Minimal Object Oriented Language with Session Types (2005)
The most important thing in the programming language is the name. A language will not succeed without a good name. I have recently invented a very good name and now I am looking for a suitable...