Actors: a model for reasoning about open distributed systems
Formal methods for distributed processing
Actor theories in rewriting logic
Theoretical Computer Science - Rewriting logic and its applications
Specification Diagrams for Actor Systems
Higher-Order and Symbolic Computation
Mobile objects "must" move safely
FMOODS '02 Proceedings of the IFIP TC6/WG6.1 Fifth International Conference on Formal Methods for Open Object-Based Distributed Systems V
Modeling and Verification of Reactive Systems using Rebeca
Fundamenta Informaticae
Comparing Three Coordination Models: Reo, ARC, and RRD
Electronic Notes in Theoretical Computer Science (ENTCS)
Actor frameworks for the JVM platform: a comparative analysis
PPPJ '09 Proceedings of the 7th International Conference on Principles and Practice of Programming in Java
Rebeca: theory, applications, and tools
FMCO'06 Proceedings of the 5th international conference on Formal methods for components and objects
Comparing three coordination models: Reo, ARC, and PBRD
Science of Computer Programming
Ten years of analyzing actors: Rebeca experience
Formal modeling
Model feasible interactions in distributed real-time systems
Formal modeling
Modeling and Verification of Reactive Systems using Rebeca
Fundamenta Informaticae
Semantics-preserving sharing actors
Proceedings of the 2013 workshop on Programming based on actors, agents, and decentralized control
Analysing timed Rebeca using McErlang
Proceedings of the 2013 workshop on Programming based on actors, agents, and decentralized control
Hi-index | 5.23 |