Courses
Events
Internships
Journals
Products
Projects
Publications
Talks
Theses
Toggle navigation
SSO login
Home
Page Index
User Index
Application Index
Global
Languages
Default Language
What's New
Wiki Index
Eng
Ita
Search
APICe
Tags
Tags
formal models
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
Activity Stream for pages tagged with
formal models
RSS Feed