Process algebra and constraint programming for modeling interactions in MAS

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

zbMATH Keywords

multiagent systems; concurrent constraint programming; communicating sequential processes

Mathematics Subject Classification ID

68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)

68T01: General topics in artificial intelligence

Uses Software

• ConGolog
• KQML

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