Modal and temporal properties of processes / Colin Stirling.

Format:

Book

Author/Creator:

Stirling, Colin P.

Series:

Texts in computer science

Language:

English

Subjects (All):

Computer logic.

Parallel processing (Electronic computers).

Physical Description:

xii, 190 pages : illustrations ; 24 cm.

Place of Publication:

New York : Springer, [2001]

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.

Notes:

Includes bibliographical references (pages [183]-186) and index.

ISBN:

0387987177

OCLC:

45499972