A Junction Between State Based and Behavioural Specification

This publication has 19 references indexed in Scilit:

• Introduction to the ISO specification language LOTOS
  Published by Elsevier ,2003
• How to combine Z with a process algebra
  Published by Springer Nature ,1998
• IO-refinement in Z
  Electronic Workshops in Computing, 1998
• Formal Methods for Open Object-based Distributed Systems
  Published by Springer Nature ,1997
• CSP-OZ: A Combination of Object-Z and CSP
  Published by Springer Nature ,1997
• The B-Book
  Published by Cambridge University Press (CUP) ,1996
• Comparing LOTOS and Z refinement relations
  Published by Springer Nature ,1996
• Structuring Z specifications with views
  ACM Transactions on Software Engineering and Methodology, 1995
• Object-Z: A specification language advocated for the description of standards
  Computer Standards & Interfaces, 1995
• A state-based approach to communicating processes
  Distributed Computing, 1988