"The temporal logic of reactive and concurrent systems" - Information and Links:

The temporal logic of reactive and concurrent systems - Info and Reading Options

Book's cover
The cover of “The temporal logic of reactive and concurrent systems” - Open Library.

"The temporal logic of reactive and concurrent systems" was published by Springer-Verlag in 1992 - New York, it has 1 pages and the language of the book is English.


“The temporal logic of reactive and concurrent systems” Metadata:

  • Title: ➤  The temporal logic of reactive and concurrent systems
  • Authors:
  • Language: English
  • Number of Pages: 1
  • Publisher: Springer-Verlag
  • Publish Date:
  • Publish Location: New York

“The temporal logic of reactive and concurrent systems” Subjects and Themes:

Edition Specifications:

  • Pagination: v. <1 > :

Edition Identifiers:

AI-generated Review of “The temporal logic of reactive and concurrent systems”:


"The temporal logic of reactive and concurrent systems" Table Of Contents:

  • 1- [1] Specification.

Read “The temporal logic of reactive and concurrent systems”:

Read “The temporal logic of reactive and concurrent systems” by choosing from the options below.

Search for “The temporal logic of reactive and concurrent systems” downloads:

Visit our Downloads Search page to see if downloads are available.

Find “The temporal logic of reactive and concurrent systems” in Libraries Near You:

Read or borrow “The temporal logic of reactive and concurrent systems” from your local library.

Buy “The temporal logic of reactive and concurrent systems” online:

Shop for “The temporal logic of reactive and concurrent systems” on popular online marketplaces.