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 13

Record: found
Abstract: not found
Article: not found

Statecharts: a visual formalism for complex systems

David Harel (1987)

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

Bookmark

Record: found
Abstract: not found
Article: not found

The model checker SPIN

G.J. Holzmann (1997)

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

Bookmark

Record: found
Abstract: not found
Article: not found

Modeling concurrency with partial orders

Vaughan Pratt (1986)

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

Bookmark

All references

Author and book information

Book Chapter

Publication date (Print): 1999

Publication date (Online): April 19 2002

Pages: 114-129

DOI: 10.1007/3-540-48320-9_10

SO-VID: c981bc8d-f992-457a-8b91-ad0b66bb4454

History

Data availability:

Comments

Comment on this book

Book chapters

Cited by 17

See all cited by

Model Checking of Message Sequence Charts

Read this book at

Related collections

Business Model Innovation in engineering

Most cited references 13

Statecharts: a visual formalism for complex systems

The model checker SPIN

Modeling concurrency with partial orders

Author and book information

Book Chapter

History

Comments

Comment on this book

Book chapters

Similar content 3,850

Cited by 17