CONCUR '92: Third International Conference on Concurrency Theory, Stony Brook, NY, USA, August 24-27, 1992. Proceedings

CONCUR '92: Third International Conference on Concurrency Theory, Stony Brook, NY, USA, August 24-27, 1992. Proceedings
Format
Paperback
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Country
Germany
Published
12 August 1992
Pages
586
ISBN
9783540558224

CONCUR ‘92: Third International Conference on Concurrency Theory, Stony Brook, NY, USA, August 24-27, 1992. Proceedings

This title is printed to order. This book may have been self-published. If so, we cannot guarantee the quality of the content. In the main most books will have gone through the editing process however some may not. We therefore suggest that you be aware of this before ordering this book. If in doubt check either the author or publisher’s details as we are unable to accept any returns unless they are faulty. Please contact us if you have any questions.

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 item is not currently in-stock. It can be ordered online and is expected to ship in 7-14 days

Our stock data is updated periodically, and availability may change throughout the day for in-demand items. Please call the relevant shop for the most current stock information. Prices are subject to change without notice.

Sign in or become a Readings Member to add this title to a wishlist.