Much has been learned in the last decade about concurrent programming.. This patmr
identifies the major concepts of concurrent programming and describes some of the more …

Being a survey, this paper summarizes the work of many authors, in particular joint work with
Z. Manna, H. Barringer, R. Kuiper, L. Zuck, and O. Lichtenstein, as well as independent work …

A comprehensive introduction to the foundations of model checking, a fully automated
technique for finding flaws in hardware and software; with extensive examples and both …

A concurrent object is a data object shared by concurrent processes. Linearizability is a
correctness condition for concurrent objects that exploits the semantics of abstract data …

Reactive systems are computing systems which are interactive, such as real-time systems,
operating systems, concurrent systems, control systems, etc. They are among the most …

This book is about the verification of reactive systems. A reactive system is a system that
maintains an ongoing interaction with its environment, as opposed to computing some final …

A Theory of Communicating Sequential Processes Page 1 A Theory of Communicating Sequential
Processes SD BROOKES Carnegw-Mellon Umversity, Pittsburgh, Pennsylvania AND CAR …

Formal methods used in developing computer systems (ie mathematically based techniques
for describing system properties) are defined, and their role is delineated. Formal …

Development methods for (sequential) programs that run in isolation have been studied
elsewhere. Programs that run in parallel can interfere with each other, either via shared …

HIS BOOK CONTAINS a most comprehensive text that presents syntax-directed and
compositional methods for the formal veri?-T cation of programs. The approach is not …