Actors: a model of concurrent computation in distributed systems
Actors: a model of concurrent computation in distributed systems
Communications of the ACM
ACM Transactions on Computer Systems (TOCS)
The C++ programming language (2nd ed.)
The C++ programming language (2nd ed.)
A calculus of mobile processes, I
Information and Computation
Information and Computation
Component-oriented software technology
Object-oriented software composition
IEEE Transactions on Software Engineering - Special issue on formal methods in software practice
A calculus for cryptographic protocols: the spi calculus
Proceedings of the 4th ACM conference on Computer and communications security
Reusable coordinator modules for massively concurrent applications
Software—Practice & Experience
Tuple centres for the coordination of Internet agents
Proceedings of the 1999 ACM symposium on Applied computing
A software architecture for distributed control systems and its transition system semantics
SAC '98 Proceedings of the 1998 ACM symposium on Applied Computing
A transition system semantics for the control-driven coordination language MANIFOLD
Theoretical Computer Science
Communicating sequential processes
Communications of the ACM
Operational semantics of a parallel object-oriented language
POPL '86 Proceedings of the 13th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Reasoning about Asynchronous Communication in Dynamically Evolving Object Structures
CONCUR '98 Proceedings of the 9th International Conference on Concurrency Theory
Coordinating Mobile Agents via Blackboards and Access Rights
COORDINATION '97 Proceedings of the Second International Conference on Coordination Languages and Models
A Component Calculus for Modeling the Olan Configuration Language
COORDINATION '97 Proceedings of the Second International Conference on Coordination Languages and Models
FoSSaCS '98 Proceedings of the First International Conference on Foundations of Software Science and Computation Structure
Special track on coordination models, languages and applications (track introduction)
SAC '00 Proceedings of the 2000 ACM symposium on Applied computing - Volume 1
A Compositional Model for Confluent Dynamic Data-Flow Networks
MFCS '00 Proceedings of the 25th International Symposium on Mathematical Foundations of Computer Science
Mobile Agents Coordination in Mobadtl
COORDINATION '00 Proceedings of the 4th International Conference on Coordination Languages and Models
A Logical Interface Description Language for Components
COORDINATION '00 Proceedings of the 4th International Conference on Coordination Languages and Models
Coordination through Channel Composition
COORDINATION '02 Proceedings of the 5th International Conference on Coordination Models and Languages
An Associative Broadcast Based Coordination Model for Distributed Processes
COORDINATION '02 Proceedings of the 5th International Conference on Coordination Models and Languages
The Cost of Communication Protocols and Coordination Languages in Embedded Systems
COORDINATION '02 Proceedings of the 5th International Conference on Coordination Models and Languages
Reo: a channel-based coordination model for component composition
Mathematical Structures in Computer Science
Abstract behavior types: a foundation model for components and their composition
Science of Computer Programming - Formal methods for components and objects pragmatic aspects and applications
A Component Coordination Model Based on Mobile Channels
Fundamenta Informaticae
Coordination by Timers for Channel-Based Anonymous Communications
Electronic Notes in Theoretical Computer Science (ENTCS)
Towards context sensitive domain specific languages
Proceedings of the 1st International Workshop on Context-Aware Middleware and Services: affiliated with the 4th International Conference on Communication System Software and Middleware (COMSWARE 2009)
A Component Coordination Model Based on Mobile Channels
Fundamenta Informaticae
Hi-index | 0.00 |