![](/img/cover-not-exists.png)
[ACM Press the 28th Annual ACM Symposium - Coimbra, Portugal (2013.03.18-2013.03.22)] Proceedings of the 28th Annual ACM Symposium on Applied Computing - SAC '13 - Constrained global types for dynamic checking of protocol conformance in multi-agent systems
Ancona, Davide, Barbieri, Matteo, Mascardi, VivianaYear:
2013
Language:
english
DOI:
10.1145/2480362.2480620
File:
PDF, 439 KB
english, 2013