Concur '92 Third International Conference on Concurrency Theory, Stony Brook, NY, USA, August 24-27, 1992 - Proceedings
| Author/creator | Cleaveland, W.R. Editor |
| Format | Electronic |
| Publication Info | New York : Springer |
| Description | 596 p. ill 09.210 x 06.140 in. |
| Supplemental Content | Full text available from SpringerLINK Lecture Notes in Computer Science |
| Supplemental Content | Full text available from Springer Books |
| Subjects |
| Series | Lecture Notes in Computer Science Ser. |
| Summary | Annotation 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. |
| Access restriction | Available only to authorized users. |
| Technical details | Mode of access: World Wide Web |
| Genre/form | Electronic books. |
| ISBN | 9783540558224 |
| ISBN | 3540558225 (Perfect) Active Record |
| Standard identifier# | 9783540558224 |
| Stock number | 00024965 |
Availability
| Library | Location | Call Number | Status | Item Actions |
|---|---|---|---|---|
| Electronic Resources | ✔ Available |