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
Talks
Clouds
tag : formal models
tag : formal models
6 talk
Engineering Self-organising Coordination: A Computational Field Approach
(COORDINATION 2013, 03/06/2013) —
Mirko Viroli
(Mirko Viroli)
Formal ReSpecT in the A&A Perspective
(5th International Workshop on Foundations of Coordination Languages and Software Architectures (
FOCLASA 2006
), 31/08/2006) —
Andrea Omicini
(Andrea Omicini)
Formal Specification and Enactment of Security Policies through Agent Coordination Contexts
(EUMAS 2003, 19/12/2003) —
Andrea Omicini
(Alessandro Ricci, Andrea Omicini, Mirko Viroli)
Rethinking MAS Infrastructure based on Activity Theory
(EUMAS 2003, 18/12/2003) —
Andrea Omicini
(Andrea Omicini, Alessandro Ricci, Sascha Ossowski)
On Observation as a Coordination Pattern: An Ontology and a Formal Framework
(CM 2001@SAC 2001, 14/03/2001) —
Mirko Viroli
(Mirko Viroli, Gianluca Moro, Andrea Omicini)
On the Semantics of Tuple-based Coordination Models
(CM @ SAC 1999@SAC 1999, 02/03/1999) —
Andrea Omicini
(Andrea Omicini)
[
tag cloud
/ talks ]