Process algebra and constraint programming for modeling interactions in MAS

DOI10.1007/s00200-005-0173-0zbMath1085.68100OpenAlexW1974990208WikidataQ114852528 ScholiaQ114852528MaRDI QIDQ814899

Frank S. de Boer, Wiebe van der Hoek, Wieke de Vries, Rogier M. van Eijk, John-Jules Ch. Meyer

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 systemsconcurrent constraint programmingcommunicating sequential processes

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) General topics in artificial intelligence (68T01)

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

This page was built for publication: Process algebra and constraint programming for modeling interactions in MAS