A graphical tool for specification of reactive systems

This publication has 8 references indexed in Scilit:

• Object-oriented specification of reactive systems
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• STATEMATE: a working environment for the development of complex reactive systems
  IEEE Transactions on Software Engineering, 1990
• Adding graphics and animation to Estelle
  Information and Software Technology, 1990
• Decentralization of process nets with centralized control
  Distributed Computing, 1989
• Distributed cooperation with action systems
  ACM Transactions on Programming Languages and Systems, 1988
• Serializability in distributed systems with handshaking
  Published by Springer Nature ,1988
• Statecharts: a visual formalism for complex systems
  Science of Computer Programming, 1987
• The X window system
  ACM Transactions on Graphics, 1986