An actor algebra for specifying distributed systems: The hurried philosophers case study
Concurrent object-oriented programming and petri nets
Towards a Toolkit for Actor System Specification
AMAST '00 Proceedings of the 8th International Conference on Algebraic Methodology and Software Technology
Process Algebraic Specification of the New Asynchronous CORBA Messaging Service
ECOOP '99 Proceedings of the 13th European Conference on Object-Oriented Programming
A Fault Tolerant Agent Communication Language for Supporting Web Agent Interaction
Agent Communication II
An ACL for specifying fault-tolerant protocols
AI*IA'05 Proceedings of the 9th conference on Advances in Artificial Intelligence
Hi-index | 0.00 |