A compositional approach to statecharts semantics

This publication has 10 references indexed in Scilit:

• Operational and compositional semantics of synchronous automaton compositions
  Published by Springer Nature ,2006
• A compositional semantics for statecharts using labeled transition systems
  Published by Springer Nature ,2005
• The model checker SPIN
  IEEE Transactions on Software Engineering, 1997
• The STATEMATE semantics of statecharts
  ACM Transactions on Software Engineering and Methodology, 1996
• Equivalences of Statecharts
  Published by Springer Nature ,1996
• A Process Algebra for Timed Systems
  Information and Computation, 1995
• The Esterel synchronous programming language: design, semantics, implementation
  Science of Computer Programming, 1992
• Priorities in process algebras
  Information and Computation, 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