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]
Examples
Large Examples I (Simple Multiparty Moble Process Examples)
[pdf-file]
Large Examples II (Multiparty Session Types from Business Protocols)
[pdf-file]