Modal and Temporal Properties of Processes
By: by Colin Stirling
Series: Texts in Computer Science; Texts in computer science
Publisher: Springer New York
Published: 2001
Place of publication: New York, NY
Language: eng
Format: [electronic resource] /
Number of pages: 191
ISBN-13: 9781441931535; 9781475735505
Subjects: Logic design; Computer science
Description: This is an introductory book on the modal and temporal properties of processes. In a clear and well-organized treatment the book provides an introduction to: -process calculi for modeling concurrent systems -modal properties of systems and bisimulation equivalence presented in terms of games -temporal properties of systems -modal mu-calculus as a general purpose temporal logic -verification techniques for showing temporal properties of systems, including verification as a game; model checking in terms of game-theoretic algorithms; tablaux as unwindings of successful strategies; compositional verification, especially in the case of infinite systems. The use of games for both equivalence and model checking is conceptually clearer than other approaches and the book's well-thought-out structure and illuminating examples make this book well-suited for and advanced undergraduate or graduate level course in model checking or formal methods of verification.
Notes: Online full text is restricted to subscribers.

Also available in print.

Mode of access: World Wide Web.
Table of contents: title: Processes; title: Modalities and Capabilities; title: Bisimulations; title: Temporal Properties; title: Modal Mu-Calculus; title: Verifying Temporal Properties; title: Exposing Structure; title: References.