Refinement of state-based concurrent systems

This publication has 8 references indexed in Scilit:

• Laws of data refinement
  Acta Informatica, 1989
• A calculus of refinements for program derivations
  Acta Informatica, 1988
• The specification statement
  ACM Transactions on Programming Languages and Systems, 1988
• A state-based approach to communicating processes
  Distributed Computing, 1988
• A theoretical basis for stepwise refinement and the programming calculus
  Science of Computer Programming, 1987
• Data refinement refined resume
  Published by Springer Nature ,1986
• Decentralization of process nets with centralized control
  Published by Association for Computing Machinery (ACM) ,1983
• A Calculus of Communicating Systems
  Lecture Notes in Computer Science, 1980