1. Lecture Notes in Artificial Intelligence;M. Alberti,2005
2. Ancona, D., Barbieri, M., Mascardi, V.: Global Types for Dynamic Checking of Protocol Conformance of Multi-Agent Systems (Extended Abstract). In: Massazza, P. (ed.) ICTCS 2012, pp. 39–43 (2012)
3. Ancona, D., Barbieri, M., Mascardi, V.: Constrained global types for dynamic checking of protocol conformance in multi-agent systems. In: SAC 2013. ACM (to appear, 2013)
4. Arbab, F., Baier, C., de Boer, F.S., Rutten, J.J.M.M.: Models and temporal logical specifications for timed component connectors. Software and System Modeling 6(1), 59–82 (2007)
5. Baier, C., Sirjani, M., Arbab, F., Rutten, J.J.M.M.: Modeling component connectors in Reo by constraint automata. Sci. Comput. Program. 61(2), 75–113 (2006)