View source

From thelas.dk

You do not have permission to do that, for the following reason:

The action you have requested is limited to users in the group Sysops.

You can view and copy the source of this page:

== Introduction ==
<p>
This is joint work with Nobuko Yoshida from Imperial College London and
Kohei Honda from Queen Mary University of London.
</p>
<p>
We have extended the asynchronous Pi-Calculus with multiparty session types
to model Social Interactions [http://en.wikipedia.org/w/index.php?title=Social_interaction&direction=prev&oldid=314440006].
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.
</p>
<p>
This paper was presented at EXPRESS-2010.
</p>

== Implementation ==
<p>
The theory has been realised in the language [[Apims]].
This is an interpretor and typechecker for the language.
</p>

== Downloads ==
<p>
* [[Media:symmetric_sumtypes_express_2010.pdf|Express paper]]
</p>

Return to Symmetric Sum Types.

Retrieved from "http://thelas.dk/index.php?title=Symmetric_Sum_Types"

View source

From thelas.dk

Views

Personal tools