Decentralization of process nets with centralized control

This publication has 21 references indexed in Scilit:

• A distributed algorithm to implement n-party rendezvous
  Published by Springer Nature ,1987
• The concurrent assignment representation of synchronous systems
  Lecture Notes in Computer Science, 1987
• An example of stepwise refinement of distributed programs: quiescence detection
  ACM Transactions on Programming Languages and Systems, 1986
• Fairness
  Published by Springer Nature ,1986
• Distributed snapshots
  ACM Transactions on Computer Systems, 1985
• Distributed deadlock detection
  ACM Transactions on Computer Systems, 1983
• An Effective Implementation for the Generalized Input-Output Construct of CSP
  ACM Transactions on Programming Languages and Systems, 1983
• Decentralization of process nets with centralized control
  Published by Association for Computing Machinery (ACM) ,1983
• A distributed algorithm for detecting resource deadlocks in distributed systems
  Published by Association for Computing Machinery (ACM) ,1982
• Termination detection for diffusing computations
  Information Processing Letters, 1980