Constrained global types for dynamic checking of protocol conformance in multi-agent systems.

Davide Ancona, Matteo Barbieri, Viviana Mascardi

Browse the full SAC paper archive.