Copied CONCUR '92
CONCUR '92
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.
Price Comparison
| Seller | Contact Seller | List Price | On Sale | Shipping | Best Promo | Final Price | Volume Discount | Financing | Availability | Seller's Page |
|---|---|---|---|---|---|---|---|---|---|---|
|
BEST PRICE 1 Product Purchase
|
|
$84.99 | $84.99 |
|
$84.99 | See Site | In stock | Visit Store |
Reviews
Questions & Answers
Unternehmensethik konkret
$34.99
Wavelets
$109.99
CpG Islands
$129.00
Jahrbuch zur Mittelstandsforschung 1/2007
$44.99
Protein Nanotechnology
$219.99
Radioaktive Elemente: Actinoide
$17.99
Stress Management for Primary Health Care Professionals
$84.99
E-Business mit Cloud Computing
$39.99
Proceedings of The 20th Pacific Basin Nuclear Conference
$219.99
Embedded Computer Systems: Architectures, Modeling, and Simulation
$39.99
Biogeochemistry of Trace Elements in Arid Environments
$129.00
Disorder-Specific Psychodrama Therapy in Theory and Practice
$59.99
The Special Liveliness of Hooks in Popular Music and Beyond
$129.99
Primary Hematology
$109.99
Intelligent Information Processing and Web Mining
$329.99
Das virtuelle Unternehmen
$44.99
Soundscape Ecology
$249.99
Statistical Challenges in Modern Astronomy V
$219.99
Deep Learning in Healthcare
$139.00
-Rezeptorenblockade
$69.99
College Accreditation
$54.99
Reappraising Modern Indian Thought
$84.99
Dimensions on Nursing Teaching and Learning
$54.99
Arduino Applied
$64.99
Cosmopolitanism and the Evils of the World
$119.99
Beyond CDM
$109.99
African Postcolonial Modernity
$109.99
International Theory
$59.99
Inventing the Gothic Corpse
$109.99
16. Internationales Stuttgarter Symposium
$229.00
Laboratory Micro-X-Ray Fluorescence Spectroscopy
$169.99
Echocardiography in ICU
$99.99
Wild About Animals: Snap!
$2.99
Diapause in Aquatic Invertebrates
$129.00
LEP - The Lord of the Collider Rings at CERN 1980-2000
$59.99
Fundamentale Ideen der Informatik im Mathematikunterricht
$59.99
Fascial Fitness, Second Edition - Practical Exercises to Stay Flexible, Active and Pain Free in Just 20 Minutes A Week by Robert Schleip
$27.95
Criminal Justice and Corruption
$89.99
Key Concepts in MIN - Intracerebral Hemorrhage Evacuation
$249.99
Bright Baby: First Words
$3.74
