tag : formal models

9 publications / Mirko Viroli
page_white_acrobat Coordination as a Service (Fundamenta Informaticae, 2006) — Mirko Viroli, Andrea Omicini
page_white_acrobat Special Issue “Process Algebras and Multi-Agent Systems” (Applicable Algebra in Engineering, Communication and Computing, 2005) — Mirko Viroli, Andrea Omicini
page_white_acrobat Process-Algebraic Approaches for Multi-Agent Systems: An Overview (Applicable Algebra in Engineering, Communication and Computing, 2005) — Mirko Viroli, Andrea Omicini
page_white_acrobat On the Grey-Box Modelling Approach for Autonomous Agents (2002) — Mirko Viroli, Andrea Omicini
page_white_acrobat Towards an Alternative Semantics for FIPA ACL () — Mirko Viroli, Andrea Omicini
page_white_acrobat A Specification Language for Agents Observable Behaviour (2002) — Mirko Viroli, Andrea Omicini
page_white_acrobat On the Expressiveness of Event-Based Coordination Media (2002) — Mirko Viroli, Andrea Omicini, Alessandro Ricci
page_white_acrobat An Observation Approach to Semantics of Agents Communication Languages (Applied Artificial Intelligence, 2002) — Mirko Viroli, Andrea Omicini
page_white_acrobat On Observation as a Coordination Pattern: An Ontology and a Formal Framework (CM 2001@SAC 2001) — Mirko Viroli, Gianluca Moro, Andrea Omicini
[ tag cloud  /  Mirko Viroli  /  publications ]