Courses
Events
Internships
Journals
Products
Projects
Publications
Talks
Theses
Toggle navigation
Search
En
It
APICe login
Home
Page Index
User Index
Application Index
Global
Languages
Default Language
Wiki Index
APICe
Tags
Tags
formal models
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
On the Semantics of Tuple-based Coordination Models
Engineering Self-organising Coordination: A Computational Field Approach
On Observation as a Coordination Pattern: An Ontology and a Formal Framework
Formal ReSpecT in the A&A Perspective
Activity Stream for pages tagged with
formal models
RSS Feed