Parallel program design: a foundation
Parallel program design: a foundation
The temporal logic of reactive and concurrent systems
The temporal logic of reactive and concurrent systems
Model checking
Autonomous Agents and Multi-Agent Systems
Maude: specification and programming in rewriting logic
Theoretical Computer Science - Rewriting logic and its applications
Reo: a channel-based coordination model for component composition
Mathematical Structures in Computer Science
Verifying Multi-agent Programs by Model Checking
Autonomous Agents and Multi-Agent Systems
Prototyping 3APL in the Maude term rewriting language
AAMAS '06 Proceedings of the fifth international joint conference on Autonomous agents and multiagent systems
Two case studies of semantics execution in Maude: CCS and LOTOS
Formal Methods in System Design
Specification and Verification of Dynamics in Cognitive Agent Models
IAT '06 Proceedings of the IEEE/WIC/ACM international conference on Intelligent Agent Technology
The maude LTL model checker and its implementation
SPIN'03 Proceedings of the 10th international conference on Model checking software
All about maude - a high-performance logical framework: how to specify, program and verify systems in rewriting logic
A Verification Framework for Normative Multi-Agent Systems
PRIMA '08 Proceedings of the 11th Pacific Rim International Conference on Multi-Agents: Intelligent Agents and Multi-Agent Systems
Choice, interoperability, and conformance in interaction protocols and service choreographies
Proceedings of The 8th International Conference on Autonomous Agents and Multiagent Systems - Volume 2
On coordination, autonomy and time
Proceedings of The 8th International Conference on Autonomous Agents and Multiagent Systems - Volume 2
An Empirical Study of Agent Programs
PRIMA '09 Proceedings of the 12th International Conference on Principles of Practice in Multi-Agent Systems
Commitment-based protocols with behavioral rules and correctness properties of MAS
DALT'10 Proceedings of the 8th international conference on Declarative agent languages and technologies VIII
Using rewrite strategies for testing BUpL agents
LOPSTR'09 Proceedings of the 19th international conference on Logic-Based Program Synthesis and Transformation
The refinement of choreographed multi-agent systems
DALT'09 Proceedings of the 7th international conference on Declarative Agent Languages and Technologies
An empirical study of cognitive agent programs
Multiagent and Grid Systems - Principles and Practice of Multi-Agent Systems
| Hi-index | 0.00 |
We present a proof-technique for reducing the nondeterminism of abstract agent specifications in a BDI framework by means of refinement. We implement the operational semantics of agent specifications in rewrite systems such that we can automatically check if refinement between (fair) executions of agents holds.