There is no author summary for this book yet. Authors can add summaries to their books on ScienceOpen to make them more accessible to a non-specialist audience.

Related collections

Most cited references 14

Record: found
Abstract: not found
Article: not found

Statecharts: a visual formalism for complex systems

David Harel (1987)

0 comments Cited 358 times – based on 0 reviews      Review now

Bookmark

Record: found
Abstract: not found
Article: not found

The Esterel synchronous programming language: design, semantics, implementation

Gerard Berry, Georges Gonthier (1992)

0 comments Cited 87 times – based on 0 reviews      Review now

Bookmark

Record: found
Abstract: not found
Book Chapter: not found

On the Development of Reactive Systems

D. Harel, A. Pnueli (1985)

0 comments Cited 53 times – based on 0 reviews

Bookmark

All references

Author and book information

Book Chapter

Publication date (Print): 1994

Publication date (Online): June 8 2005

Pages: 128-148

DOI: 10.1007/3-540-58468-4_163

SO-VID: 15e3eccd-92a3-461d-b97d-7641d640a337

History

Data availability:

Comments

Comment on this book

Book chapters

Cited by 15

Modeling Cyber–Physical Systems
Authors: A. Vincentelli, P. Derler, E LEE
The synchronous languages 12 years later
Authors: A Benveniste, S.A. Edwards, N. Halbwachs …
Design of embedded systems: formal models, validation, and synthesis
Authors: A. Sangiovanni-Vincentelli, E.A. Lee, L Lavagno …

See all cited by

A comparison of Statecharts variants

Read this book at

Related collections

Open Access Publishing Practices

Most cited references 14

Statecharts: a visual formalism for complex systems

The Esterel synchronous programming language: design, semantics, implementation

On the Development of Reactive Systems

Author and book information

Book Chapter

History

Comments

Comment on this book

Book chapters

Similar content 2,334

Cited by 15