A method for refining atomicity in parallel algorithms

This publication has 12 references indexed in Scilit:

• Distributed cooperation with action systems
  ACM Transactions on Programming Languages and Systems, 1988
• On the design of reactive systems
  BIT Numerical Mathematics, 1988
• A calculus of refinements for program derivations
  Acta Informatica, 1988
• The specification statement
  ACM Transactions on Programming Languages and Systems, 1988
• A theoretical basis for stepwise refinement and the programming calculus
  Science of Computer Programming, 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
• Applications of temporal logic to the specification and verification of reactive systems: A survey of current trends
  Lecture Notes in Computer Science, 1986
• Decentralization of process nets with centralized control
  Published by Association for Computing Machinery (ACM) ,1983
• Reduction
  Communications of the ACM, 1975