Overview of the Semantics of TCOZ

This publication has 10 references indexed in Scilit:

• An operational semantics for ZCCS
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• Refinement and verification of concurrent systems specified in Object-Z and CSP
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• Network Topology and a Case Study in TCOZ
  Published by Springer Nature ,1998
• How to Combine Z with a Process Algebra
  Published by Springer Nature ,1998
• 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
• A fully abstract semantics of classes for Object-Z
  Formal Aspects of Computing, 1995
• Fixed points without completeness
  Theoretical Computer Science, 1995
• A brief history of Timed CSP
  Theoretical Computer Science, 1995
• Equal rights for schemas in Z
  Published by Springer Nature ,1995