Introduction to design choices in the semantics of Statecharts

C. Huizing, W.P. Roever, de

Research output: Contribution to journalArticleAcademicpeer-review

21 Citations (Scopus)
2 Downloads (Pure)


The notion of reactive system and the language Statecharts are introduced. For the first time the rationale behind the design decisions of Statecharts is explained in relation to the specific nature of reactive systems.
Original languageEnglish
Pages (from-to)205-213
JournalInformation Processing Letters
Issue number4
Publication statusPublished - 1991


Dive into the research topics of 'Introduction to design choices in the semantics of Statecharts'. Together they form a unique fingerprint.

Cite this