tag : process algebras
5 publications / Andrea Omicini
Special Issue “Process Algebras and Multi-Agent Systems” (Applicable Algebra in Engineering, Communication and Computing, 2005) — Mirko Viroli, Andrea Omicini
Process-Algebraic Approaches for Multi-Agent Systems: An Overview (Applicable Algebra in Engineering, Communication and Computing, 2005) — Mirko Viroli, Andrea Omicini
An Organisation Infrastructure for Multi-Agent Systems based on Agent Coordination Contexts (2005) — Mirko Viroli, Andrea Omicini, Alessandro Ricci
An Algebraic Approach for Modelling Organisation, Roles and Contexts in MAS (Applicable Algebra in Engineering, Communication and Computing, 2005) — Andrea Omicini, Alessandro Ricci, Mirko Viroli
Formal Specification and Enactment of Security Policies through Agent Coordination Contexts (2003) — Andrea Omicini, Alessandro Ricci, Mirko Viroli