Distributed cooperation with action systems
@article{Back1988DistributedCW, title={Distributed cooperation with action systems}, author={R. Back and R. Kurki-Suonio}, journal={ACM Trans. Program. Lang. Syst.}, year={1988}, volume={10}, pages={513-554} }
Action systems provide a method to program distributed systems that emphasizes the overall behavior of the system. System behavior is described in terms of the possible interactions (actions) that the processes can engage in, rather than in terms of the sequential code that the processes execute. The actions provide a symmetric communication mechanism that permits an arbitrary number of processes to be synchronized by a common handshake. This is a generalization of the usual approach, employed… CONTINUE READING
Figures, Tables, and Topics from this paper
308 Citations
Action system approach to the specification and design of distributed systems
- Computer Science
- IWSSD '89
- 1989
- 35
- PDF
Weakest Congruences, Fairness and Compositional Process-Algebraic Verification
- Computer Science
- 2004
- 1
- PDF
Action systems in incremental and aspect-oriented modeling
- Computer Science
- Distributed Computing
- 2003
- 11
References
Distributed exchange sort
- In Proceedings of Winter School on Theoretical Computer Science
- 1984