Matches in Harvard for { <http://id.lib.harvard.edu/aleph/002693114/catalog> ?p ?o. }
Showing items 1 to 22 of
22
with 100 items per page.
- catalog abstract ""This book contains a selection of research papers describing recent advancesin the theory of concurrent systems and their applications. The papers were all presented at the CONCUR '92 conference, which has emerged as the premiere conference on formal aspects of concurrency. The authors include such prominent researchers as R. Milner, A. Pnueli, N. Lynch, and V.R. Pratt. The results represent advances in the mathematical understanding of the behavior of concurrent systems: topics covered include process algebras, models of true concurrency, compositional verification techniques, temporal logic, verification case studies, models of probabilistic and real-time systems, models of systems with dynamic structure, and algorithms and decidability results for system analysis. A key feature of CONCUR is its breadth: in one volume it presents a snapshot of the state of the art in concurrency theory. Assuch, it is indispensible to researchers - and would-be researchers - in theformal analysis of concurrent systems."--PUBLISHER'S WEBSITE.".
- catalog contributor b3904921.
- catalog contributor b3904922.
- catalog created "c1992.".
- catalog date "1992".
- catalog date "c1992.".
- catalog dateCopyrighted "c1992.".
- catalog description ""This book contains a selection of research papers describing recent advancesin the theory of concurrent systems and their applications. The papers were all presented at the CONCUR '92 conference, which has emerged as the premiere conference on formal aspects of concurrency. The authors include such prominent researchers as R. Milner, A. Pnueli, N. Lynch, and V.R. Pratt. The results represent advances in the mathematical understanding of the behavior of concurrent systems: topics covered include process algebras, models of true concurrency, compositional verification techniques, temporal logic, verification case studies, models of probabilistic and real-time systems, models of systems with dynamic structure, and algorithms and decidability results for system analysis. A key feature of CONCUR is its breadth: in one volume it presents a snapshot of the state of the art in concurrency theory. Assuch, it is indispensible to researchers - and would-be researchers - in theformal analysis of concurrent systems."--PUBLISHER'S WEBSITE.".
- catalog description "Includes bibliographical references and index.".
- catalog extent "580 p. :".
- catalog identifier "0387558225 (Springer-Verlag New York Berlin Heidelberg : acid-free paper)".
- catalog identifier "3540558225 (Springer-Verlag Berlin Heidelberg New York : acid-free paper)".
- catalog isPartOf "Lecture notes in computer science ; 630".
- catalog issued "1992".
- catalog issued "c1992.".
- catalog language "eng".
- catalog publisher "Berlin ; New York : Springer-Verlag,".
- catalog subject "004/.35 20".
- catalog subject "Parallel processing (Electronic computers) Congresses.".
- catalog subject "QA76.58 .I53 1992".
- catalog title "CONCUR '92 : Third International Conference on Concurrency Theory, Stony Brook, NY, USA, August 24-27, 1992 : proceedings / W.R. Cleaveland, ed.".
- catalog type "text".