Process algebra and constraint programming for modeling interactions in MAS
From MaRDI portal
Publication:814899
DOI10.1007/s00200-005-0173-0zbMath1085.68100WikidataQ114852528 ScholiaQ114852528MaRDI QIDQ814899
Wiebe van der Hoek, John-Jules Ch. Meyer, Frank S. de Boer, Wieke de Vries, Rogier M. van Eijk
Publication date: 8 February 2006
Published in: Applicable Algebra in Engineering, Communication and Computing (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s00200-005-0173-0
68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
68T01: General topics in artificial intelligence
Uses Software
Cites Work
- Algebra of communicating processes with abstraction
- A calculus of communicating systems
- Reasoning about nondeterministic and concurrent actions: A process algebra approach
- Intelligent agents. ECAI-94 workshop on agent theories, architectures, and languages, Amsterdam, The Netherlands, August 8-9, 1994. Proceedings
- A fully abstract model for the exchange of information in multi-agent systems.
- ConGolog, a concurrent programming language based on the situation calculus
- Truly concurrent constraint programming
- Agent coordination contexts for the formal specification and enactment of coordination and security policies
- Process algebra for synchronous communication
- A Theory of Communicating Sequential Processes
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item