Electronic Notes in Theoretical Computer Science

ENTCS is a venue for the rapid electronic publication of the proceedings of conferences, of lecture notes, monographs and other similar material for which quick publication and the availability on the electronic media is appropriate. Organizers of conferences whose proceedings appear in ENTCS, and authors of other material appearing as a volume in the series are allowed to make hard copies of the relevant volume for limited distribution. For example, conference proceedings may be distributed to participants at the meeting, and lecture notes can be distributed to those taking a course based on the material in the volume.

series containing

 Aggregate Graph Statistics (2018) — Giorgio Audrito, Ferruccio Damiani, Mirko Viroli

 Prototyping A&A ReSpecT in Maude (2008) — Matteo Casadei, Andrea Omicini, Mirko Viroli

 Formal ReSpecT in the A&A Perspective (2007) — Andrea Omicini

 Combined Proceedings of the 2nd International Workshop on Coordination and Organization (CoOrg 2006) and the 2nd International Workshop on Methods and Tools for Coordinating Concurrent, Distributed and Mobile Systems (MTCoord 2006) (2007) — Guido Boella, Mehdi Dastani, Andrea Omicini, Ivana Černá, Isabelle Linden

 Preface (2007) — Guido Boella, Mehdi Dastani, Andrea Omicini, Ivana Černá, Isabelle Linden

 ReSpecT Nets: Towards an Analysis Methodology for ReSpecT Specifications (2007) — Mirko Viroli, Andrea Omicini

 A Framework for Engineering Interactions in Java-based Component Systems (2006) — Antonio Natali, Enrico Oliva, Alessandro Ricci, Mirko Viroli

 RBAC for Organisation and Security in an Agent Coordination Infrastructure (2005) — Andrea Omicini, Alessandro Ricci, Mirko Viroli

 On the Semantics of Coordination Models for Distributed Systems: The LogOp Case Study (2004) — Ronaldo Menezes, Andrea Omicini, Mirko Viroli

 Formal Specification and Enactment of Security Policies through Agent Coordination Contexts (2003) — Andrea Omicini, Alessandro Ricci, Mirko Viroli

 Coordination as a Service: Ontological and Formal Foundation (2003) — Mirko Viroli, Andrea Omicini

 Formal ReSpecT (2001) — Andrea Omicini, Enrico Denti

 Preface: Volume 48 (2001) — Agostino Dovier, Maria Chiara Meo, Andrea Omicini

 Declarative Programming – Selected Papers from AGP 2000, La Habana, Cuba, 4-6 December 2000 (2001) — Agostino Dovier, Maria Chiara Meo, Andrea Omicini