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

Author(s):  
Davide Ancona ◽  
Matteo Barbieri ◽  
Viviana Mascardi
Sign in / Sign up

Export Citation Format

Share Document