Decentralization of Process Nets with Centralized Control

  title={Decentralization of Process Nets with Centralized Control},
  author={R. Back and R. Kurki-Suonio},
  • R. Back, R. Kurki-Suonio
  • Published in PODC 1983
  • Computer Science
  • The behavior of a net of interconnected, communicating processes is described in terms of the joint actions in which the processes can participate. A distinction is made between centralized and decentralized action systems. In the former, a central agent with complete information about the state of the system controls the execution of the actions; in the latter no such agent is needed. Properties of joint action systems are expressed in temporal logic. Centralized action systems allow for… CONTINUE READING
    300 Citations

    Topics from this paper

    Decentralization of process nets with centralized control
    • 201
    Distributed cooperation with action systems
    • 308
    Stepwise Refinement of Communicating Systems
    • M. Butler
    • Computer Science
    • Sci. Comput. Program.
    • 1996
    • 75
    Action system approach to the specification and design of distributed systems
    • 35
    • PDF
    Coordinating action systems
    • 4
    Refinement and Decomposition of Value-Passing Action Systems
    • M. Butler
    • Computer Science, Mathematics
    • CONCUR
    • 1993
    • 17
    Using a Process Algebra to Control B Operations
    • 97
    Operational specification with joint actions: Serializable databases
    • 5
    An Approach to the Design of Distributed Systems with B AMN
    • 73
    • Highly Influenced


    Distributed Termination
    • 259
    • PDF
    A distributed algorithm for detecting resource deadlocks in distributed systems
    • 130
    • PDF
    Fair termination of communicating processes
    • 18
    Distributed deadlock detection
    • 434
    • PDF
    How to cook a temporal proof system for your pet language
    • 246
    • Highly Influential
    Communicating sequential processes
    • 11,982
    • PDF
    Superposed Automata Nets
    • 58
    Termination Detection for Diffusing Computations
    • 778