Author of the publication

Statecharts: A Visual Formalism for Complex System

. Science of Computer Programming, 8 (3): 231--274 (1987)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Statecharts: A Visual Formalism for Complex System. Science of Computer Programming, 8 (3): 231--274 (1987)LSCs: Breathing Life into Message Sequence Charts, and . (1999)Dynamic Logic. chapter II.10, page 497--604. D. Reidel, Boston, (1984)LSCs: Breathing Life into Message Sequence Charts, and . Formal Methods in System Design, 19 (1): 45--80 (1987)On the Behavioral Inheritance of State-Based Objects, and . MCS99-12. The Weizmann Institute of Science, Israel, (1999)LCSs: Breathing Life Into Message Sequence Charts, and . Formal Methods in System Design, 19 (1): 45--80 (2001)Algorithms: The Spirit of Computing. Addision-Wesley, Reading, Mass., 2nd~edition edition, (1992)Statecharts: a visuel approach to complex systems. Science of Computer Programming, 8 (3): 231--274 (1987)On the Development of Reactive Systems, and . (1985)