Communicating sequential processes
Communicating sequential processes
Automatic verification of finite-state concurrent systems using temporal logic specifications
ACM Transactions on Programming Languages and Systems (TOPLAS)
Intention is choice with commitment
Artificial Intelligence
Concurrent constraint programming
Concurrent constraint programming
Artificial Intelligence
An action-based framework for verifying logical and behavioural properties of concurrent systems
Computer Networks and ISDN Systems - Special issue on tools for FDTs
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
Model checking
Modal and temporal properties of processes
Modal and temporal properties of processes
Communication and Concurrency
Model checking multi-agent systems with MABLE
Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 2
Clausal resolution in a logic of rational agency
Artificial Intelligence
Some Remarks on the Semantics of FIPA's Agent Communication Language
Autonomous Agents and Multi-Agent Systems
A Verification Framework for Agent Communication
Autonomous Agents and Multi-Agent Systems
Verifiable Semantics for Agent Communication Languages
ICMAS '98 Proceedings of the 3rd International Conference on Multi Agent Systems
AAMAS '03 Proceedings of the second international joint conference on Autonomous agents and multiagent systems
Computationally Grounded Theories of Agency
ICMAS '00 Proceedings of the Fourth International Conference on MultiAgent Systems (ICMAS-2000)
Flexible Communication of Agents based on FIPA-ACL
Electronic Notes in Theoretical Computer Science (ENTCS)
| Hi-index | 0.00 |
Multi-agent systems are receiving attention nowadays, as they can be applied in a variety of disciplines like industry, e-commerce, control systems, etc. As the areas of usage are more crucial the matter of assurance of correctness of programs is important. However, verification of these systems has received attention only very recently. Hitherto such systems have been programmed without a clearly defined formal semantics and with very little idea about formally expressed verifiable properties to be satisfied by such systems. In this paper a new multi-agent programming language, called ECCS is defined. Its operational semantics is defined and a model checking algorithm is described which verifies properties expressed in the logic ACTL.