|
" The Temporal Logic of Reactive and Concurrent Systems : "
by Zohar Manna, Amir Pnueli.
| Document Type
|
:
|
BL
|
| Record Number
|
:
|
724384
|
| Doc. No
|
:
|
b544103
|
| Main Entry
|
:
|
by Zohar Manna, Amir Pnueli.
|
| Title & Author
|
:
|
The Temporal Logic of Reactive and Concurrent Systems : : Specification\ by Zohar Manna, Amir Pnueli.
|
| Publication Statement
|
:
|
New York, NY: Springer New York, 1992
|
| Page. NO
|
:
|
(xiv, 427 pages)
|
| ISBN
|
:
|
1461209315
|
|
|
:
|
: 9781461209317
|
| Contents
|
:
|
I: Models of Concurrency --;1: Basic Models --;2: Modeling Real Concurrency --;II: Specifications --;3: Temporal Logic --;4: Properties of Programs --;References --;Index to Symbols --;General Index.
|
| Abstract
|
:
|
Reactive systems are computing systems which are interactive, such as real-time systems, operating systems, concurrent systems, control systems, etc. Temporal logic is a formal tool/language which yields excellent results in specifying reactive systems.
|
| Subject
|
:
|
Computer Communication Networks.
|
| Subject
|
:
|
Computer science.
|
| Subject
|
:
|
Software engineering.
|
| LC Classification
|
:
|
QA76.6B996 1992
|
| Added Entry
|
:
|
Amir Pnueli
|
|
|
:
|
Zohar Manna
|
| |