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 9

Record: found
Abstract: not found
Article: not found

Petri nets, event structures and domains, part I

Glynn Winskel, Mogens M. Nielsen, Gordon D. Plotkin (1981)

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

Bookmark

Record: found
Abstract: not found
Book: not found

Transductions and Context-Free Languages

Jean Berstel (1979)

0 comments Cited 67 times – based on 0 reviews

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): 1998

Publication date (Online): May 23 2006

Pages: 226-242

DOI: 10.1007/BFb0053553

SO-VID: 9d434491-0b3b-4ade-a9fc-abe44885ed95

History

Data availability:

Comments

Comment on this book

Book chapters

Cited by 10

Model Checking of Message Sequence Charts
Authors: Rajeev Alur, Mihalis Yannakakis
Synthesis of behavioral models from scenarios
Authors: S. Uchitel, J. Kramer, J. Magee
Compositional Message Sequence Charts
Authors: Elsa Gunter, Anca Muscholl, Doron Peled

See all cited by

Deciding properties for message sequence charts

Read this book at

Related collections

ScienceOpen Research

Most cited references 9

Petri nets, event structures and domains, part I

Transductions and Context-Free Languages

Modeling concurrency with partial orders

Author and book information

Book Chapter

History

Comments

Comment on this book

Book chapters

Similar content 4,258

Cited by 10