Automatic verification of finite-state concurrent systems using temporal logic specifications
ACM Transactions on Programming Languages and Systems (TOPLAS)
Handbook of theoretical computer science (vol. B)
The STATEMATE semantics of statecharts
ACM Transactions on Software Engineering and Methodology (TOSEM)
Exception handling in agent systems
Proceedings of the third annual conference on Autonomous Agents
Modelling Social Agents: Communication as Action
ECAI '96 Proceedings of the Workshop on Intelligent Agents III, Agent Theories, Architectures, and Languages
Approaching simple and powerful service-computing1
International Journal of Parallel, Emergent and Distributed Systems - Best Papers from the GCC 2006 Conference
A comparison of agent decommitment techniques in a real-time environment
AIKED'10 Proceedings of the 9th WSEAS international conference on Artificial intelligence, knowledge engineering and data bases
Communicative commitments: Model checking and complexity analysis
Knowledge-Based Systems
| Hi-index | 0.00 |