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...

Full description

Bibliographic Details

Main Author:	Manna, Zohar
Corporate Author:	SpringerLink (Online service)
Other Authors:	Pnueli, Amir
Format:	eBook
Language:	English
Published:	New York, NY : Springer New York, 1992.
Subjects:	Computer science. Computer Communication Networks. Software engineering. Logic design. Electronic books.
Online Access:	Connect to the full text of this electronic book