Decentralization of process nets with centralized control

@article{Back1983DecentralizationOP,
  title={Decentralization of process nets with centralized control},
  author={Ralph-Johan Back and Reino Kurki-Suonio},
  journal={Distributed Computing},
  year={1983},
  volume={3},
  pages={73-87}
}
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

Topics from this paper.

Citations

Publications citing this paper.
SHOWING 1-9 OF 9 CITATIONS

Model-Based Mutation Testing with Constraint and SMT Solvers

VIEW 4 EXCERPTS
CITES BACKGROUND & METHODS
HIGHLY INFLUENCED