1992 (v1)
Publication
No description
Uploaded on: March 31, 2023
M
Last name: M. BARBIERI
No description
In this paper we investigate the theoretical foundations of global types for dynamic checking of protocol compliance in multi-agents systems and we extend the formalism by introducing a concatenation operator that allows a significant enhancement of the expressive power of global types. As examples, we show how two non trivial protocols can be...