Blending Object-Z and Timed CSP: an introduction to TCOZ

This publication has 9 references indexed in Scilit:

• A formal method for building concurrent real-time software
  IEEE Software, 1997
• 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
• Using units of measurement in formal specifications
  Formal Aspects of Computing, 1995
• A fully abstract semantics of classes for Object-Z
  Formal Aspects of Computing, 1995
• The role of secondary attributes in formal object modelling
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,1995
• A case-study in timed refinement: a mine pump
  IEEE Transactions on Software Engineering, 1992
• Process simulation and refinement
  Formal Aspects of Computing, 1989
• A state-based approach to communicating processes
  Distributed Computing, 1988