Multiparty Asynchronous Session Types

Extended Abstract (5th November 2007) [pdf-file]

A full version: a technical paper [pdf-file] If you are interested in the updated version, please let me know.

The following link gives the complexity of linearity checking and projection [link]

Global Progress in Dynamically Interleaved Multiparty Sessions

Extended Abstract [pdf-file]

Full Version [pdf-file]

Global Principal Typing in Partially Commutative Asynchronous Sessions

Full Version [pdf-file]


Large Examples I (Simple Multiparty Moble Process Examples) [pdf-file]

Large Examples II (Multiparty Session Types from Business Protocols) [pdf-file]