×

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.

MSC:
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)
PDF BibTeX XML Cite
Full Text: DOI