Electronic Notes in Theoretical Computer Science
Articles & Issues
- Aggregate Graph Statistics (paper in proceedings, 2018) — Giorgio Audrito, Ferruccio Damiani, Mirko Viroli
- Prototyping A&A ReSpecT in Maude (paper in proceedings, 2008) — Matteo Casadei, Andrea Omicini, Mirko Viroli
- Preface (editorial / introduction / preface, 2007) — Guido Boella, Mehdi Dastani, Andrea Omicini, Ivana Černá, Isabelle Linden
- Combined Proceedings of the Second International Workshop on Coordination and Organization (CoOrg 2006) and the Second International Workshop on Methods and Tools for Coordinating Concurrent, Distributed and Mobile Systems (MTCoord 2006) (edited volume, 2007) — Guido Boella, Mehdi Dastani, Andrea Omicini, Ivana Černá, Isabelle Linden (eds.)
- ReSpecT Nets: Towards an Analysis Methodology for ReSpecT Specifications (paper in proceedings, 2007) — Mirko Viroli, Andrea Omicini
- Formal ReSpecT in the A&A Perspective (paper in proceedings, 2007) — Andrea Omicini
- A Framework for Engineering Interactions in Java-based Component Systems (paper in proceedings, 2006) — Antonio Natali, Enrico Oliva, Alessandro Ricci, Mirko Viroli
- On the Semantics of Coordination Models for Distributed Systems: The LogOp Case Study (paper in proceedings, 2004) — Ronaldo Menezes, Andrea Omicini, Mirko Viroli
- Formal Specification and Enactment of Security Policies through Agent Coordination Contexts (paper in proceedings, 2003) — Andrea Omicini, Alessandro Ricci, Mirko Viroli
- Coordination as a Service: Ontological and Formal Foundation (paper in proceedings, 2003) — Mirko Viroli, Andrea Omicini
- Preface: Volume 48 (editorial / introduction / preface, 2001) — Agostino Dovier, Maria Chiara Meo, Andrea Omicini