This book contains a selection of research papers describingrecent advancesin the theory of concurrent systems andtheir applications. The papers were all presented at theCONCUR '92 conference, which has emerged as the premiereconference on formal aspects of concurrency. The authorsinclude such prominent researchers as R. Milner, A. Pnueli,N. Lynch, and V.R. Pratt. The results represent advances inthe mathematical understanding of the behavior of concurrentsystems: topics covered include process algebras, models oftrue concurrency, compositional verification techniques,temporal logic, verification case studies, models ofprobabilistic and real-time systems, models of systems withdynamic structure, and algorithms and decidability resultsfor system analysis.A key feature of CONCUR is its breadth: in one volume itpresents a snapshot of the state of the art in concurrencytheory. Assuch, it is indispensible to researchers - andwould-be researchers - in theformal analysis of concurrentsystems.

This book contains a selection of research papers describingrecent advancesin the theory of concurrent systems andtheir applications. The papers were all presented at theCONCUR '92 conference, which has emerged as the premiereconference on formal aspects of concurrency. The authorsinclude such prominent researchers as R. Milner, A. Pnueli,N. Lynch, and V.R. Pratt. The results represent advances inthe mathematical understanding of the behavior of concurrentsystems: topics covered include process algebras, models oftrue concurrency, compositional verification techniques,temporal logic, verification case studies, models ofprobabilistic and real-time systems, models of systems withdynamic structure, and algorithms and decidability resultsfor system analysis.A key feature of CONCUR is its breadth: in one volume itpresents a snapshot of the state of the art in concurrencytheory. Assuch, it is indispensible to researchers - andwould-be researchers - in theformal analysis of concurrentsystems.