Temporal Logics in Computer Science: Finite-State Systems

by Stéphane Demri, Martin Lange, Valentin Goranko

This comprehensive text provides a modern and technically precise exposition of the fundamental theory and applications of temporal logics in computer science. Part I presents the basics of discrete transition systems, including constructions and behavioural equivalences. Part II examines the most important temporal logics for transition systems and Part III looks at their expressiveness and complexity. Finally, Part IV describes the main computational...

• Format: Hardcover
• Language: English
• ISBN: 1107028361
• ISBN13: 9781107028364
• Release Date: December 2016
• Publisher: Cambridge University Press
• Length: 752 Pages
• Weight: 3.19 lbs.
• Dimensions: 1.7" x 7.0" x 10.1"