ActorSpace: an open distributed programming paradigm
PPOPP '93 Proceedings of the fourth ACM SIGPLAN symposium on Principles and practice of parallel programming
RTsynchronizer: language support for real-time specifications in distributed systems
LCTES '95 Proceedings of the ACM SIGPLAN 1995 workshop on Languages, compilers, & tools for real-time systems
Reasoning about meta level activities in open distributed systems
Proceedings of the fourteenth annual ACM symposium on Principles of distributed computing
Bisimilarity for a first-order calculus of objects with subtyping
POPL '96 Proceedings of the 23rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Towards agent oriented application frameworks
ACM Computing Surveys (CSUR)
A seamless approach to the agent development
Proceedings of the 2001 ACM symposium on Applied computing
An actor algebra for specifying distributed systems: The hurried philosophers case study
Concurrent object-oriented programming and petri nets
The Agent-based Programming Language: APL
Proceedings of the 2002 ACM symposium on Applied computing
Behavioural typing for objects and process calculi
Formal methods for distributed processing
Time and Asynchrony in Interactions among Distributed Real-Time Objects
ECOOP '95 Proceedings of the 9th European Conference on Object-Oriented Programming
Process Algebraic Specification of the New Asynchronous CORBA Messaging Service
ECOOP '99 Proceedings of the 13th European Conference on Object-Oriented Programming
Asynchronous and deterministic objects
Proceedings of the 31st ACM SIGPLAN-SIGACT symposium on Principles of programming languages
A foundation for actor computation
Journal of Functional Programming
Types for Active Objects with Static Deadlock Prevention
Fundamenta Informaticae
Asynchronous sequential processes
Information and Computation
Synchronization as a Special Case of Access Control
Electronic Notes in Theoretical Computer Science (ENTCS)
Interfaces of active objects with internal concurrency
Proceedings of the 1st International Workshop on Distributed Objects for the 21st Century
IS=DBS+interaction: towards principles of information system design
ER'00 Proceedings of the 19th international conference on Conceptual modeling
Ten years of analyzing actors: Rebeca experience
Formal modeling
Model feasible interactions in distributed real-time systems
Formal modeling
Internal and external token-based synchronization in object-oriented languages
JMLC'06 Proceedings of the 7th joint conference on Modular Programming Languages
Actors, roles and coordinators — a coordination model for open distributed and embedded systems
COORDINATION'06 Proceedings of the 8th international conference on Coordination Models and Languages
State inference for dynamically changing interfaces
Computer Languages
Types for Active Objects with Static Deadlock Prevention
Fundamenta Informaticae
Native actors: a scalable software platform for distributed, heterogeneous environments
Proceedings of the 2013 workshop on Programming based on actors, agents, and decentralized control
Hi-index | 0.00 |