On the Refinement and Simulation of Data Types and Processes

This publication has 5 references indexed in Scilit:

• Refinement and verification of concurrent systems specified in Object-Z and CSP
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• CSP-OZ: A Combination of Object-Z and CSP
  Published by Springer Nature ,1997
• Object-Z: A specification language advocated for the description of standards
  Computer Standards & Interfaces, 1995
• Stepwise refinement of action systems
  Published by Springer Nature ,1989
• Prespecification in data refinement
  Information Processing Letters, 1987