An actor algebra for specifying distributed systems: The hurried philosophers case study
Concurrent object-oriented programming and petri nets
Process Algebraic Specification of the New Asynchronous CORBA Messaging Service
ECOOP '99 Proceedings of the 13th European Conference on Object-Oriented Programming
AN ACL FOR SPECIFYING FAULT-TOLERANT PROTOCOLS
Applied Artificial Intelligence
A Fault Tolerant Agent Communication Language for Supporting Web Agent Interaction
Agent Communication II
Facilitating Agent Development in Open Distributed Systems
Languages, Methodologies and Development Tools for Multi-Agent Systems
An ACL for specifying fault-tolerant protocols
AI*IA'05 Proceedings of the 9th conference on Advances in Artificial Intelligence
Performative patterns for designing verifiable ACLs
CIA'06 Proceedings of the 10th international conference on Cooperative Information Agents
Declarative Specification Of Fault Tolerant Auction Protocols: The English Auction Case Study
Computational Intelligence
An Architecture for Managing Knowledge and System Dynamism in the Worldwide Sensor Web
International Journal on Semantic Web & Information Systems
| Hi-index | 0.00 |