What is in a step: On the semantics of statecharts

This publication has 5 references indexed in Scilit:

• STATEMATE: a working environment for the development of complex reactive systems
  IEEE Transactions on Software Engineering, 1990
• Argonaute: Graphical description, semantics and verification of reactive systems by using a process algebra
  Published by Springer Nature ,1990
• Modelling statecharts behaviour in a fully abstract way
  Published by Springer Nature ,1988
• Statecharts: a visual formalism for complex systems
  Science of Computer Programming, 1987
• LUSTRE: a declarative language for real-time programming
  Published by Association for Computing Machinery (ACM) ,1987