All pages tagged with formal models

• Coordination as a Service
• Process-Algebraic Approaches for Multi-Agent Systems: An Overview
• Rethinking MAS Infrastructure based on Activity Theory
• Dynamic Composition of Coordination Abstractions in LogOp
• Engineering Self-organising Coordination: A Computational Field Approach
• Formal ReSpecT in the A&A Perspective
• Towards an Alternative Semantics for FIPA ACL
• Special Issue “Process Algebras and Multi-Agent Systems”
• Formal ReSpecT in the A&A Perspective
• On the Semantics of Tuple-based Coordination Models
• An Observation Approach to Semantics of Agents Communication Languages
• Dynamic Composition of Coordination Abstractions in LogOp
• On Observation as a Coordination Pattern: An Ontology and a Formal Framework
• Formal Specification and Enactment of Security Policies through Agent Coordination Contexts
• On Observation as a Coordination Pattern: An Ontology and a Formal Framework
• On the Semantics of Tuple-based Coordination Models
• Molecules of Knowledge: Self-Organisation in Knowledge-Intensive Environments
• On the Expressiveness of Event-Based Coordination Media
• Multi-level models and infrastructures for simulating biological system development
• Formal ReSpecT
• Formal ReSpecT in the A&A Perspective
• Labelled Variables in Logic Programming: Foundations
• A Specification Language for Agents Observable Behaviour
• The Semantics of a Parallel Language based on a Shared Data Space
• On the Incomparability of Gamma and Linda
• On the Grey-Box Modelling Approach for Autonomous Agents