.png){kind=logo}
Stock image for illustration purposes only - book cover, edition or condition may vary.
CONCUR '92
Walter R. . Ed(S): Cleaveland
€ 136.76
FREE Delivery in Ireland
Description for CONCUR '92
paperback. This volume contains a selection of research papers on recent advances in the theory of concurrent systems and their applications. The mathematical understanding of their behaviour is examined in detail. Topics include process algebra, true concurrency, verification case studies and more. Editor(s): Cleaveland, Walter R. Series: Lecture Notes in Computer Science. Num Pages: 596 pages, biography. BIC Classification: PBW; UYA. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 235 x 155 x 30. Weight in Grams: 1820.
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 ... Read more
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 ... Read more
Product Details
Format
Paperback
Publication date
1992
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Number of pages
596
Condition
New
Series
Lecture Notes in Computer Science
Number of Pages
586
Place of Publication
Berlin, Germany
ISBN
9783540558224
SKU
V9783540558224
Shipping Time
Usually ships in 15 to 20 working days
Ref
99-15
Reviews for CONCUR '92