𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Formal specification and proofs for the topology and classification of combinatorial surfaces

✍ Scribed by Dehlinger, Christophe; Dufourd, Jean-François

Book ID
122156429
Publisher
Elsevier Science
Year
2014
Tongue
English
Weight
541 KB
Volume
47
Category
Article
ISSN
0925-7721

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Agent Coordination Contexts for the form
Agent Coordination Contexts for the formal specification and enactment of coordination and security policies
✍ Andrea Omicini; Alessandro Ricci; Mirko Viroli 📂 Article 📅 2006 🏛 Elsevier Science 🌐 English ⚖ 443 KB

In the context of multi-agent systems (MAS), an Agent Coordination Context (ACC) is an abstraction provided by the infrastructure to each agent entering a MAS, aimed at enabling and controlling all the interactions of the agent with its environment. The notion of ACC features some key properties tha