Verifying Concurrent Processes Using Temporal Logic

other

Author(s): Brent T. Hailpern

Publication date (Print): 1982

Publisher: Springer Berlin Heidelberg

Read this book at

Publisher

Buy book

Bookmark

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

Author and book information

Book

ISBN (Print): 978-3-540-11205-1

ISBN (Electronic): 978-3-540-39034-3

Publication date (Print): 1982

DOI: 10.1007/3-540-11205-7

SO-VID: c3221099-5b73-47d4-ac1a-9ea6a8aa6641

History

Data availability:

Comments

Comment on this book

Book chapters

Cited by 3

Verification of an alternating bit protocol by means of process algebra protocol
Authors: J. A. Bergstra, J. W. Klop
Specifications of concurrently accessed data
Authors: Jayadev Misra
Automated temporal reasoning about reactive systems
Authors: E. Allen Emerson

See all cited by