Symmetric Sum Types


Jump to: navigation, search


This is joint work with Nobuko Yoshida from Imperial College London and Kohei Honda from Queen Mary University of London.

We have extended the asynchronous Pi-Calculus with multiparty session types to model Social Interactions [1]. This enables us to represent workflow models (such as the Process Matrix) as session types and thus statically verify that participant processes comply with the workflow.

This paper was presented at EXPRESS-2010.


The theory has been realised in the language Apims. This is an interpretor and typechecker for the language.


Personal tools