Generative communication in Linda
ACM Transactions on Programming Languages and Systems (TOPLAS)
Actors: a model of concurrent computation in distributed systems
Actors: a model of concurrent computation in distributed systems
Conditional rewriting logic as a unified model of concurrency
Selected papers of the Second Workshop on Concurrency and compositionality
Concurrent constraint programming
Concurrent constraint programming
Entailment of finite domain constraints
Proceedings of the eleventh international conference on Logic programming
Reasoning about meta level activities in open distributed systems
Proceedings of the fourteenth annual ACM symposium on Principles of distributed computing
Coordinating distributed objects: an actor-based approach to synchronization
Coordinating distributed objects: an actor-based approach to synchronization
Theoretical aspects of coordination languages
Theoretical Computer Science - Special issue: theoretical aspects of coordination languages
KLAIM: A Kernel Language for Agents Interaction and Mobility
IEEE Transactions on Software Engineering
Tuple centres for the coordination of Internet agents
Proceedings of the 1999 ACM symposium on Applied computing
Proceedings of the 21st international conference on Software engineering
Actor languages. their syntax, semantics, translation, and equivalence
Theoretical Computer Science
Open, distributed coordination with finesse
SAC '98 Proceedings of the 1998 ACM symposium on Applied Computing
Model checking
Composable Semantic Models for Actor Theories
Higher-Order and Symbolic Computation
Abstraction and Modularity Mechanisms for Concurrent Computing
IEEE Parallel & Distributed Technology: Systems & Technology
Semantic Models for Distributed Object Reflection
ECOOP '02 Proceedings of the 16th European Conference on Object-Oriented Programming
Timing Assumptions and Verification of Finite-State Concurrent Systems
Proceedings of the International Workshop on Automatic Verification Methods for Finite State Systems
The IWIM Model for Coordination of Concurrent Activities
COORDINATION '96 Proceedings of the First International Conference on Coordination Languages and Models
A Group Based Approach for Coordinating Active Objects
COORDINATION '99 Proceedings of the Third International Conference on Coordination Languages and Models
A Hierarchical Model for Coordination of Concurrent Activities
COORDINATION '99 Proceedings of the Third International Conference on Coordination Languages and Models
Coordination and Access Control in Open Distributed Agent Systems: The TuCSoN Approach
COORDINATION '00 Proceedings of the 4th International Conference on Coordination Languages and Models
Foundations of Actor Semantics
Foundations of Actor Semantics
A foundation for actor computation
Journal of Functional Programming
Reo: a channel-based coordination model for component composition
Mathematical Structures in Computer Science
A formal model for reasoning about adaptive QoS-enabled middleware
ACM Transactions on Software Engineering and Methodology (TOSEM)
Models and Temporal Logics for Timed Component Connectors
SEFM '04 Proceedings of the Software Engineering and Formal Methods, Second International Conference
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
Viptos: a graphical development and simulation environment for TinyOS-based wireless sensor networks
Proceedings of the 3rd international conference on Embedded networked sensor systems
Soft concurrent constraint programming
ACM Transactions on Computational Logic (TOCL)
Modeling component connectors in Reo by constraint automata
Science of Computer Programming - Special issue on second international workshop on foundations of coordination languages and software architectures (FOCLASA'03)
Web services choreography and orchestration in Reo and constraint automata
Proceedings of the 2007 ACM symposium on Applied computing
Supporting reconfigurable object distribution for customized web applications
Proceedings of the 2007 ACM symposium on Applied computing
HICSS '07 Proceedings of the 40th Annual Hawaii International Conference on System Sciences
Symbolic Model Checking for Channel-based Component Connectors
Electronic Notes in Theoretical Computer Science (ENTCS)
Formal ReSpecT in the A&A Perspective
Electronic Notes in Theoretical Computer Science (ENTCS)
A Basic Logic for Reasoning about Connector Reconfiguration
Fundamenta Informaticae - Behavior of Composed Concurrent Systems: Logic and Reasoning
What Is Commitment? Physical, Organizational, and Social (Revised)
Coordination, Organizations, Institutions, and Norms in Agent Systems II
Using Reo for Service Coordination
ICSOC '07 Proceedings of the 5th international conference on Service-Oriented Computing
ReoService: Coordination Modeling Tool
ICSOC '07 Proceedings of the 5th international conference on Service-Oriented Computing
The Temporal Logic of Rewriting: A Gentle Introduction
Concurrency, Graphs and Models
Reo Connectors as Coordination Artifacts in 2APL Systems
PRIMA '08 Proceedings of the 11th Pacific Rim International Conference on Multi-Agents: Intelligent Agents and Multi-Agent Systems
Applying Reo to service coordination in long-running business transactions
Proceedings of the 2009 ACM symposium on Applied Computing
Formal Modeling and Conformance Validation for WS-CDL using Reo and CASM
Electronic Notes in Theoretical Computer Science (ENTCS)
Coordination Models Based on a Formal Model of Distributed Object Reflection
Electronic Notes in Theoretical Computer Science (ENTCS)
Towards a Logic for Performance and Mobility
Electronic Notes in Theoretical Computer Science (ENTCS)
Formal Semantics and Analysis of Component Connectors in Reo
Electronic Notes in Theoretical Computer Science (ENTCS)
Connector Colouring I: Synchronisation and Context Dependency
Electronic Notes in Theoretical Computer Science (ENTCS)
Reasoning About Connector Reconfiguration II: Basic Reconfiguration Logic
Electronic Notes in Theoretical Computer Science (ENTCS)
Establishing global properties of multi-agent systems via local laws
E4MAS'06 Proceedings of the 3rd international conference on Environments for multi-agent systems III
An alternative algorithm for constraint automata product
FSEN'07 Proceedings of the 2007 international conference on Fundamentals of software engineering
Towards context-aware web applications
DAIS'07 Proceedings of the 7th IFIP WG 6.1 international conference on Distributed applications and interoperable systems
Modeling web service interactions using the coordination language Reo
WS-FM'07 Proceedings of the 4th international conference on Web services and formal methods
Modelling coordination in biological systems
ISoLA'04 Proceedings of the First international conference on Leveraging Applications of Formal Methods
Coordination systems in role-based adaptive software
COORDINATION'05 Proceedings of the 7th international conference on Coordination Models and 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
Formal modeling
Symbolic execution of Reo circuits using constraint automata
Science of Computer Programming
Hi-index | 0.00 |
Three models of coordination-Reo, Actors-Roles-Coordinators (ARC), and Policy-based Russian Dolls (PBRD)-are compared and contrasted according to a set of coordination features. Mappings between their semantic models are defined. Use of the models is illustrated by a small case study.