Theses
Talks
Publications
Projects
Products
People
Journals
Events
Courses
Home
Toggle navigation
Search
APICeLogin
Home
Page Index
User Index
Application Index
Global
Languages
Default Language
Wiki Index
APICe
Tags
Tags
Last modified by
N Pompei
on 08/06/2020 15:31
Manage
Copy
Actions
Export
Annotate
Print Preview
View Source
View Likes
Viewers
Children
Comments
Attachments
History
Information
×
Export
Office Formats
Export as PDF
Other Formats
Export as HTML
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
Formal ReSpecT in the A&A Perspective
Activity Stream for pages tagged with
formal models
RSS Feed
×
Unlike confirmation
Are you sure you wish to remove your Like for page $services.localization.render("xe.tag.tags")?
0
Tags:
User Spaces
Roberta Calegari
Roberto Casadei
Giovanni Ciatto
Angelo Croatti
Enrico Denti
Giacomo Domeniconi
Stefano Mariani
Ambra Molesini
Sara Montagna
Andrea Omicini
Danilo Pianini
Giuseppe Pisano
Alessandro Ricci
Andrea Roli
Mirko Viroli
Product Spaces
Alchemist
ALOO
CArtAgO
LPaaS
MS-BioNET
MoK
P@J
ReSpecT
simpA
simpAL
SODA
TraumaTracker
TuCSoN
tu
Prolog