A semantic integration of object-Z and CSP for the specification of concurrent systems

This publication has 19 references indexed in Scilit:

• Introduction to the ISO specification language LOTOS
  Published by Elsevier ,2003
• 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
• Formulations and formalisms in software architecture
  Published by Springer Nature ,1995
• Action systems, unbounded nondeterminism, and infinite traces
  Formal Aspects of Computing, 1995
• Unbounded Non-determinism in CSP
  Journal of Logic and Computation, 1993
• An Alternative Order for the Failures Model
  Journal of Logic and Computation, 1992
• A categorial theory of objects as observed processes
  Published by Springer Nature ,1991
• The RAISE language, method and tools
  Formal Aspects of Computing, 1989
• A state-based approach to communicating processes
  Distributed Computing, 1988