Actors: a model of concurrent computation in distributed systems
Actors: a model of concurrent computation in distributed systems
Proof, language, and interaction
Law-governed interaction: a coordination and control mechanism for heterogeneous distributed systems
ACM Transactions on Software Engineering and Methodology (TOSEM)
Distributed and Parallel Databases
Orchestrating Transactions in Join Calculus
CONCUR '02 Proceedings of the 13th International Conference on Concurrency Theory
Globally-asynchronous locally-synchronous systems (performance, reliability, digital)
Globally-asynchronous locally-synchronous systems (performance, reliability, digital)
Reo: a channel-based coordination model for component composition
Mathematical Structures in Computer Science
Introduction to Reliable Distributed Programming
Introduction to Reliable Distributed Programming
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)
Connector colouring I: Synchronisation and context dependency
Science of Computer Programming
Prototype Platforms for Distributed Agreements
Electronic Notes in Theoretical Computer Science (ENTCS)
Building Mashups for the Enterprise with SABRE
ICSOC '08 Proceedings of the 6th International Conference on Service-Oriented Computing
Scala Actors: Unifying thread-based and event-based programming
Theoretical Computer Science
Proceedings of the 2009 ACM symposium on Applied Computing
Recent Trends in Algebraic Development Techniques
Formal Semantics and Analysis of Component Connectors in Reo
Electronic Notes in Theoretical Computer Science (ENTCS)
Modeling and analysis of Reo connectors using alloy
COORDINATION'08 Proceedings of the 10th international conference on Coordination models and languages
Channel-based coordination via constraint satisfaction
Science of Computer Programming
Why do scala developers mix the actor model with other concurrency models?
ECOOP'13 Proceedings of the 27th European conference on Object-Oriented Programming
Hi-index | 0.00 |
Synchronous coordination systems, such as Reo, exchange data via indivisible actions, while distributed systems are typically asynchronous and assume that messages can be delayed or get lost. To combine these seemingly contradictory notions, we introduce the Dreams framework. Coordination patterns in Dreams are described using a synchronous model based on the Reo language, whereas global system behaviour is given by the runtime composition of autonomous actors communicating asynchronously. Dreams also exploits the use of actors in the composition of synchronous coordination patterns to allow communication whenever possible, increasing the scalability of the implementation.