A comparison of Statecharts variants

This publication has 14 references indexed in Scilit:

• Communicating reactive processes
  Published by Association for Computing Machinery (ACM) ,1993
• Integration of structured analysis and timed statecharts for real-time and concurrency specification
  Published by Springer Nature ,1993
• Preemption in concurrent systems
  Published by Springer Nature ,1993
• The Esterel synchronous programming language: design, semantics, implementation
  Science of Computer Programming, 1992
• A compositional axiomatization of Statecharts
  Theoretical Computer Science, 1992
• Semantics of reactive systems in abstract time
  Published by Springer Nature ,1992
• The synchronous approach to reactive and real-time systems
  Proceedings of the IEEE, 1991
• Statecharts: a visual formalism for complex systems
  Science of Computer Programming, 1987
• Notes on Communicating Sequential Systems
  Published by Springer Nature ,1986
• On the Development of Reactive Systems
  Published by Springer Nature ,1985