The Temporal Logic Of Reactive And Concurrent Systems: Specification
| Use attributes for filter ! | |
| Google books | books.google.com |
|---|---|
| Originally published | 1992 |
| Authors | Amir Pnueli |
| Zohar Manna | |
| Editors | Amir Pnueli |
| Zohar Manna | |
| Date of Reg. | |
| Date of Upd. | |
| ID | 2058201 |
About The Temporal Logic Of Reactive And Concurrent Systems: Specification
Reactive systems are computing systems which are interactive, such as real-time systems, operating systems, concurrent systems, control systems, etc. They are among the most difficult computing systems to program. Temporal logic is a formal tool/language which yields excellent results in specifying reactive systems. . . .