A model and temporal proof system for networks of processes
Distributed Computing
Actors: a model of concurrent computation in distributed systems
Actors: a model of concurrent computation in distributed systems
Parallel program design: a foundation
Parallel program design: a foundation
ABCL: an object-oriented concurrent system
ABCL: an object-oriented concurrent system
OOPSLA/ECOOP '90 Proceedings of the European conference on object-oriented programming on Object-oriented programming systems, languages, and applications
The art of metaobject protocol
The art of metaobject protocol
The temporal logic of reactive and concurrent systems
The temporal logic of reactive and concurrent systems
Designing and implementing Choices: an object-oriented system in C++
Communications of the ACM
Subcontract: a flexible base for distributed programming
SOSP '93 Proceedings of the fourteenth ACM symposium on Operating systems principles
ACM Transactions on Programming Languages and Systems (TOPLAS)
Distributed snapshots: determining global states of distributed systems
ACM Transactions on Computer Systems (TOCS)
Specifying Concurrent Program Modules
ACM Transactions on Programming Languages and Systems (TOPLAS)
Abstraction and Modularity Mechanisms for Concurrent Computing
IEEE Parallel & Distributed Technology: Systems & Technology
Scalable Distributed Garbage Collection for Systems of Active Objects
IWMM '92 Proceedings of the International Workshop on Memory Management
Towards a Theory of Actor Computation
CONCUR '92 Proceedings of the Third International Conference on Concurrency Theory
An Actor-Based Metalevel Architecture for Group-Wide Reflection
Proceedings of the REX School/Workshop on Foundations of Object-Oriented Languages
Foundations of Actor Semantics
Foundations of Actor Semantics
RAJA: a resource-adaptive Java agent infrastructure
Proceedings of the fifth international conference on Autonomous agents
Safe 'composability' of middleware services
Communications of the ACM - Adaptive middleware
Using passive object garbage collection algorithms for garbage collection of active objects
Proceedings of the 3rd international symposium on Memory management
Actors: a model for reasoning about open distributed systems
Formal methods for distributed processing
An Actor-Based Architecture for Customizing and Controlling Agent Ensembles
IEEE Intelligent Systems
Semantic Models for Distributed Object Reflection
ECOOP '02 Proceedings of the 16th European Conference on Object-Oriented Programming
A Formal Model for Reasoning about Adaptive QoS-Enabled Middleware
FME '01 Proceedings of the International Symposium of Formal Methods Europe on Formal Methods for Increasing Software Productivity
Modular Object-Oriented Design of Distributed Protocols
TOOLS '00 Proceedings of the Technology of Object-Oriented Languages and Systems (TOOLS 34'00)
Design and Implementation of a Composable Reflective Middleware Framework
ICDCS '01 Proceedings of the The 21st International Conference on Distributed Computing Systems
SynchNet: a Petri net based coordination language for distributed objects
Proceedings of the 2nd international conference on Generative programming and component engineering
A formal model for reasoning about adaptive QoS-enabled middleware
ACM Transactions on Software Engineering and Methodology (TOSEM)
The Journal of Supercomputing
Validating Behavioral Component Interfaces in Rewriting Logic
Fundamenta Informaticae - Behavior of Composed Concurrent Systems: Logic and Reasoning
The ARC Programming Model -- Language Constructs for Coordination
Electronic Notes in Theoretical Computer Science (ENTCS)
Validating Behavioral Component Interfaces in Rewriting Logic
Electronic Notes in Theoretical Computer Science (ENTCS)
Reflecting on aspect-oriented programming, metaprogramming, and adaptive distributed monitoring
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
COORDINATION'11 Proceedings of the 13th international conference on Coordination models and languages
Validating Behavioral Component Interfaces in Rewriting Logic
Fundamenta Informaticae - Behavior of Composed Concurrent Systems: Logic and Reasoning
Scoped synchronization constraints for large scale actor systems
COORDINATION'12 Proceedings of the 14th international conference on Coordination Models and Languages
Hi-index | 0.00 |