The secondment activities have been mainly centered on Task 2.4 with particular focus on the relationship between session types and contracts in the multiparty asynchronous context.  The technique already applied to the binary asynchronous context are currently under investigation and modification to deal with the multiparty case. Concerning the specific topics of Task 2.4, the aim of the collaboration is to apply and extend the known decidability/undecidability results for binary session types to multiparty behavioral contracts.

Leave a Reply