Modeling the distributed termination convention of CSP
ACM Transactions on Programming Languages and Systems (TOPLAS)
The foundations of program verification
The foundations of program verification
Readies and failures in the algebra of communicating processes
SIAM Journal on Computing
Compositionality, concurrency and partial correctness
Compositionality, concurrency and partial correctness
The semantic foundations of concurrent constraint programming
POPL '91 Proceedings of the 18th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
On the complexity of blocks-world planning
Artificial Intelligence
Concurrent constraint programming
Concurrent constraint programming
Artificial Intelligence
PLACA, an agent oriented programming language
PLACA, an agent oriented programming language
Nondeterminism and infinite computations in constraint programming
Selected papers of the workshop on Topology and completion in semantics
AgentSpeak(L): BDI agents speak out in a logical computable language
MAAMAW '96 Proceedings of the 7th European workshop on Modelling autonomous agents in a multi-agent world : agents breaking away: agents breaking away
Proving concurrent constraint programs correct
ACM Transactions on Programming Languages and Systems (TOPLAS)
Reaching agreements through argumentation: a logical model and implementation
Artificial Intelligence
Communications of the ACM
A Proof System for Communicating Sequential Processes
ACM Transactions on Programming Languages and Systems (TOPLAS)
Communicating sequential processes
Communications of the ACM
An axiomatic basis for computer programming
Communications of the ACM
A Discipline of Programming
Some Remarks on the Semantics of FIPA's Agent Communication Language
Autonomous Agents and Multi-Agent Systems
Autonomous Agents and Multi-Agent Systems
Semantic Issues in the Verification of Agent Communication Languages
Autonomous Agents and Multi-Agent Systems
Agent Communication Languages: The Current Landscape
IEEE Intelligent Systems
KI '94 Proceedings of the 18th Annual German Conference on Artificial Intelligence: Advances in Artificial Intelligence
A Proof System for Partial Correctness of Dynamic Networks of Processes (Extended Abstract)
Proceedings of the Carnegie Mellon Workshop on Logic of Programs
ECAI '96 Proceedings of the Workshop on Intelligent Agents III, Agent Theories, Architectures, and Languages
Semantics for an Agent Communication Language
ATAL '97 Proceedings of the 4th International Workshop on Intelligent Agents IV, Agent Theories, Architectures, and Languages
A Framework for Argumentation-Based Negotiation
ATAL '97 Proceedings of the 4th International Workshop on Intelligent Agents IV, Agent Theories, Architectures, and Languages
Open Multi-agent Systems: Agent Communication and Integration
ATAL '99 6th International Workshop on Intelligent Agents VI, Agent Theories, Architectures, and Languages (ATAL),
A Semantic Framework for Specifying Agent Communication Languages
ICMAS '00 Proceedings of the Fourth International Conference on MultiAgent Systems (ICMAS-2000)
Semantics of Agent Communication: An Introduction
Selected papers from the UKMAS Workshop on Foundations and Applications of Multi-Agent Systems
Coordination Artifacts: Environment-Based Coordination for Intelligent Agents
AAMAS '04 Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems - Volume 1
The Journal of Supercomputing
Applying game theory mechanisms in open agent systems with complete information
Autonomous Agents and Multi-Agent Systems
Toward verification of commitment protocols and their compositions
Proceedings of the 6th international joint conference on Autonomous agents and multiagent systems
Motivation for a new formal framework for agent-oriented software engineering
International Journal of Agent-Oriented Software Engineering
Managing Contradictions in Multi-Agent Systems
IEICE - Transactions on Information and Systems
On the formal semantics of speech-act based communication in an agent-oriented programming language
Journal of Artificial Intelligence Research
A multi-agent framework based on communication and concurrency
IWDC'04 Proceedings of the 6th international conference on Distributed Computing
Environment-based coordination through coordination artifacts
E4MAS'04 Proceedings of the First international conference on Environments for Multi-Agent Systems
Hi-index | 0.00 |
In this paper, we introduce a verification method for the correctness of multiagent systems as described in the framework of ACPL (Agent Communication Programming Language). The computational model of ACPL consists of an integration of the two different paradigms of CCP (Concurrent Constraint Programming) and CSP (Communicating Sequential Processes). The constraint programming techniques are used to represent and process information, whereas the communication mechanism of ACPL is described in terms of the synchronous handshaking mechanism of CSP. Consequently, we show how to define a verification method for ACPL in terms of an integration of the verification methods for CCP and CSP. We prove formally the soundness of the method and discuss its completeness.