tag : process algebras
4 publications / Alessandro Ricci
Agent Interaction Semantics by Timed Operating Instructions (paper in proceedings, 2005) — Mirko Viroli, Alessandro Ricci 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
0000-0002-9222-5092