All pages tagged with formal models

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