tag : formal models

Labelled Variables in Logic Programming: Foundations (CILC 2016) — Roberta Calegari, Enrico Denti, Agostino Dovier, Andrea Omicini

Molecules of Knowledge: Self-Organisation in Knowledge-Intensive Environments (IDC 2012) — Stefano Mariani, Andrea Omicini

Multi-level models and infrastructures for simulating biological system development (2011) — Sara Montagna

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

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

Coordination as a Service (Fundamenta Informaticae, 2006) — Mirko Viroli, 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

On the Grey-Box Modelling Approach for Autonomous Agents (2002) — Mirko Viroli, Andrea Omicini

A Specification Language for Agents Observable Behaviour (2002) — Mirko Viroli, Andrea Omicini

On the Expressiveness of Event-Based Coordination Media (2002) — Mirko Viroli, Andrea Omicini, Alessandro Ricci

An Observation Approach to Semantics of Agents Communication Languages (Applied Artificial Intelligence, 2002) — Mirko Viroli, Andrea Omicini

Towards an Alternative Semantics for FIPA ACL () — Mirko Viroli, Andrea Omicini

On Observation as a Coordination Pattern: An Ontology and a Formal Framework (CM 2001@SAC 2001) — Mirko Viroli, Gianluca Moro, Andrea Omicini

Formal ReSpecT (2001) — Andrea Omicini, Enrico Denti

On the Semantics of Tuple-based Coordination Models (CM @ SAC 1999@SAC 1999) — Andrea Omicini

On the Incomparability of Gamma and Linda (1998) — Gianluigi Zavattaro

The Semantics of a Parallel Language based on a Shared Data Space (1992) — Paolo Ciancarini, Keld K. Jensen, Dani Yankelevich