Open Daily: 10am - 10pm | Alley door pickup 10am - 7pm 3038 Hennepin Ave Minneapolis, MN
612-822-4611

  • Open Daily: 10am - 10pm
    Alley-side Pickup: 10am - 7pm

    3038 Hennepin Ave Minneapolis, MN
    612-822-4611

Open Daily: 10am - 10pm | Alley-side Pickup: 10am - 7pm
3038 Hennepin Ave Minneapolis, MN
612-822-4611
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

Cleaveland, Walter R.

Paperback

Series: Lecture Notes in Computer Science, Book 630

General ComputersProgramming

ISBN10: 3540558225
ISBN13: 9783540558224
Publisher: Springer
Published: Aug 12 1992
Pages: 586
Weight: 1.81
Height: 1.21 Width: 6.14 Depth: 9.21
Language: English
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.

Also in

General Computers

View All