A precise examination of the behaviour of process models

This publication has 7 references indexed in Scilit:

• Maintaining consistency under changes to formal specifications
  Published by Springer Nature ,2005
• Proof in VDM: A Practitioner’s Guide
  Published by Springer Nature ,1994
• A KNOWLEDGE-BASED SOFTWARE DEVELOPMENT ENVIRONMENT SUPPORTING COOPERATIVE WORK
  International Journal of Software Engineering and Knowledge Engineering, 1992
• Concepts and implementation of a rule-based process engine
  Published by Association for Computing Machinery (ACM) ,1992
• mural: A Formal Development Support System
  Published by Springer Nature ,1991
• Managing software processes in the environment MELMAC
  ACM SIGSOFT Software Engineering Notes, 1990
• Statecharts: a visual formalism for complex systems
  Science of Computer Programming, 1987