CSP-OZ: A Combination of Object-Z and CSP

This publication has 4 references indexed in Scilit:

• A structure preserving encoding of Z in isabelle/HOL
  Published by Springer Nature ,1996
• Object-Z: A specification language advocated for the description of standards
  Computer Standards & Interfaces, 1995
• How firing conditions help inheritance
  Published by Springer Nature ,1995
• A state-based approach to communicating processes
  Distributed Computing, 1988