Modal and Temporal Properties of Processes /
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 -tempor...
| Main Author: | |
|---|---|
| Corporate Author: | |
| Format: | eBook |
| Language: | English |
| Published: |
New York, NY :
Springer New York,
2001.
|
| Series: | Texts in computer science.
|
| Subjects: | |
| Online Access: | Connect to the full text of this electronic book |
| Summary: | 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. |
|---|---|
| Item Description: | Electronic resource. |
| Physical Description: | 1 online resource (xii, 191 pages) |
| ISBN: | 9781475735505 (electronic bk.) 1475735502 (electronic bk.) |
| ISSN: | 1868-0941 |