Access this book
Tax calculation will be finalised at checkout
Other ways to access
About this book
Similar content being viewed by others
Keywords
Table of contents (4 chapters)
-
Models of Concurrency
-
Specifications
Authors and Affiliations
Bibliographic Information
Book Title: The Temporal Logic of Reactive and Concurrent Systems
Book Subtitle: Specification
Authors: Zohar Manna, Amir Pnueli
DOI: https://doi.org/10.1007/978-1-4612-0931-7
Publisher: Springer New York, NY
-
eBook Packages: Springer Book Archive
Copyright Information: Springer Science+Business Media New York 1992
Hardcover ISBN: 978-0-387-97664-8Published: 18 December 1991
Softcover ISBN: 978-1-4612-6950-2Published: 17 October 2012
eBook ISBN: 978-1-4612-0931-7Published: 06 December 2012
Edition Number: 1
Number of Pages: XIV, 427
Topics: Special Purpose and Application-Based Systems, Computer Communication Networks, Logics and Meanings of Programs