On the Enactability of Agent Interaction Protocols:Towards a Unified Approach

This page serves as a repository for the supplemental material of the paper on Enactability of Agent Interaction Protocols, submitted to EMAS 2019.

Haskell protoype:

Zip containing Haskell Code