Symmetric Sum Types

From thelas.dk

Introduction

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.

Implementation

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

Downloads

• Media:symmetric_sumtypes_express_2010.pdf