Page History

...

[3] D. Harel, Statecharts: A visual formalism for complex systems, Science of Computer Programming, 8(3):231{-274, June 1987.

[4] R. von Hanxleden, M. Mendler, J. Aguado, B. Duderstadt, I. Fuhrmann, C. Motika, S. Mercer, and O. O'Brien, Sequentially Constructive Concurrency - A conservative extension of the synchronous model of computation, In Proc. Design, Automation and Test in Europe Conference (DATE'13), Grenoble, France, March 2013.

...