tag : process algebras
6 publications
Agent Interaction Semantics by Timed Operating Instructions (paper in proceedings, 2005) — Mirko Viroli, Alessandro Ricci Special Issue “Process Algebras and Multi-Agent Systems” (special issue, 2005) — Mirko Viroli, Andrea Omicini Process-Algebraic Approaches for Multi-Agent Systems: An Overview (editorial/introduction/preface, 2005) — Mirko Viroli, Andrea Omicini An Organisation Infrastructure for Multi-Agent Systems based on Agent Coordination Contexts (paper in proceedings, 2005) — Mirko Viroli, Andrea Omicini, Alessandro Ricci An Algebraic Approach for Modelling Organisation, Roles and Contexts in MAS (article in journal, 2005) — Andrea Omicini, Alessandro Ricci, Mirko Viroli Formal Specification and Enactment of Security Policies through Agent Coordination Contexts (paper in proceedings, 2003) — Andrea Omicini, Alessandro Ricci, Mirko Viroli