tag : formal models
6
talk
Engineering Self-organising Coordination: A Computational Field Approach (COORDINATION 2013, 03/06/2013) — Mirko Viroli (Mirko Viroli)
Formal ReSpecT in the A&A Perspective (5th International Workshop on Foundations of Coordination Languages and Software Architectures (FOCLASA 2006), 31/08/2006) — Andrea Omicini (Andrea Omicini)
Formal Specification and Enactment of Security Policies through Agent Coordination Contexts (EUMAS 2003, 19/12/2003) — Andrea Omicini (Alessandro Ricci, Andrea Omicini, Mirko Viroli)
Rethinking MAS Infrastructure based on Activity Theory (EUMAS 2003, 18/12/2003) — Andrea Omicini (Andrea Omicini, Alessandro Ricci, Sascha Ossowski)
On Observation as a Coordination Pattern: An Ontology and a Formal Framework (CM 2001@SAC 2001, 14/03/2001) — Mirko Viroli (Mirko Viroli, Gianluca Moro, Andrea Omicini)
On the Semantics of Tuple-based Coordination Models (CM @ SAC 1999@SAC 1999, 02/03/1999) — Andrea Omicini (Andrea Omicini)