ENGLISH

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

By Robin Milner (auth.) , W.R. Cleaveland (eds.)

Book information

Publisher
Springer-Verlag Berlin Heidelberg
Year
1992
ISBN
3540558225, 9783540558224
DOI
10.1007/BFb0084777
Open Library ID
OL12776541M
Language
english
Format
DJVU
Filesize
6 MB (5838578 bytes)
Series
Lecture Notes in Computer Science 630
Edition
1
Pages
586\588
Topic
Computers
Library
Kolxo3
DPI
300
Time added
2009-12-04 00:34:26
CompilersInterpreters; Programming TechniquesLogics and Meanings of Programs; Computation by Ab

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.

Similar books