CONCUR '92
$99.00
7%off
$7.69
days for Media Mail
delivery. Brand New,
Perfect Condit... [more] Please allow 4-14 business
days for Media Mail
delivery. Brand New,
Perfect Condition, 100%
Money Back Guarantee, Over
1,000,000 customers served [less]
Own This Book? Sell It
9783540558224
ISBN:3540558225
Pub Date: 2007Publisher: Springer Summary: 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 mathemati [read more]
- 30-Day No-Hassle Returns
- Fast, Same-Day Customer Service
- The Best Prices on Textbook Rentals
- Find student loan options quickly and easily
- Compare loans to find the best fit for you
- Apply for the loan that meets your needs
9783540558224
ISBN:
3540558225
Pub Date: 2007
Publisher: Springer
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.
- Track your recent orders.
- See our shipping rates & policies.
- Return an item (here's our Return Policy).
