zbMATH — the first resource for mathematics

Specification and development of interactive systems. Focus on streams, interfaces, and refinement. (English) Zbl 0981.68115
Monographs in Computer Science. New York, NY: Springer. xv, 348 p. (2001).
This book is devoted to modal and temporal logics for processes. The material is organized in seven chapters. In chapter I are introduced the processes as expressions of a single language built from a few basic operators. Some abstractions from the overall behaviour of a process are considered in chapter II. On equivalences for calculus of communicating systems processes defined in terms of bisimulation relations is focused in next chapter. Chapters IV and V treats different properties related to modal logics and temporal logic introduced in chapter 2. In chapter VI is shown that game theoretic ideas provide a general framework for verification of temporal properties. The goal of last chapter is in checking properties of sets of processes.

68Q85 Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
68-02 Research exposition (monographs, survey articles) pertaining to computer science
03B44 Temporal logic
03B45 Modal logic (including the logic of norms)
Full Text: DOI