Mohlo by sa vám tiež páčiť

Viac informácií o knihe CONCUR '92

• Parametre knihy
• Anotácia kniha
• Obľúbené z iného súdka

Nákupom získate 249 bodov

Anotácia knihy

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 concurrencytheory. Assuch, it is indispensible to researchers - and§would-be researchers - in theformal analysis of concurrent§systems.

Parametre knihy

Zaradenie knihy Knihy po anglicky Mathematics & science Mathematics Applied mathematics

• Celý názov: CONCUR '92
• Podnázov: Third International Conference on Concurrency Theory, Stony Brook, NY, USA, August 24-27, 1992. Proceedings
• Autor: Walter R. Cleaveland
• Jazyk: Angličtina
• Väzba: Brožovaná
• Počet strán: 586
• EAN: 9783540558224
• ISBN: 3540558225
• ID: 05274272
• Nakladateľ: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
• Hmotnosť: 1820 g
• Rozmery: 235 × 155 × 32 mm
• Dátum vydania: 12. August 1992

Obľúbené z iného súdka

---

---

---