Login / Signup

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

Davide AnconaMatteo BarbieriViviana Mascardi
Published in: SAC (2013)
Keyphrases