A compositional axiomatization of Statecharts

This publication has 10 references indexed in Scilit:

• Introduction to design choices in the semantics of Statecharts
  Information Processing Letters, 1991
• STATEMATE: a working environment for the development of complex reactive systems
  IEEE Transactions on Software Engineering, 1990
• Using statecharts for hardware description and synthesis
  IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 1989
• Compositional semantics for real-time distributed computing
  Information and Computation, 1988
• On visual formalisms
  Communications of the ACM, 1988
• Time-dependent distributed systems: proving safety, liveness and real-time properties
  Distributed Computing, 1987
• Statecharts: a visual formalism for complex systems
  Science of Computer Programming, 1987
• A model and temporal proof system for networks of processes
  Distributed Computing, 1986
• Tentative steps toward a development method for interfering programs
  ACM Transactions on Programming Languages and Systems, 1983
• Proofs of Networks of Processes
  IEEE Transactions on Software Engineering, 1981