Distributed cooperation with action systems

  title={Distributed cooperation with action systems},
  author={R. Back and R. Kurki-Suonio},
  journal={ACM Trans. Program. Lang. Syst.},
  • R. Back, R. Kurki-Suonio
  • Published 1988
  • Computer Science
  • ACM Trans. Program. Lang. Syst.
  • 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
    308 Citations
    Action system approach to the specification and design of distributed systems
    • 35
    • PDF
    On Designing for Modularity
    • 1
    • Highly Influenced
    From Action Systems to Modular Systems
    • 92
    • PDF
    An Experimental Implementation of Action-Based Concurrency
    • 1
    • PDF
    On Decomposing and Refining Specifications of Distributed Systems
    • 33
    Action systems in incremental and aspect-oriented modeling
    • 11
    The AbstrAct Scheme for Concurrent Programming
    • 7
    Trace Refinement of Action Systems
    • 181


    Distributed exchange sort
    • In Proceedings of Winter School on Theoretical Computer Science
    • 1984