Více než 4 miliony titulů v angličtině i dalších jazycích! Objevte svůj nový příběh ještě dnes!

CONCUR '92

Name: CONCUR '92
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 9783540558224
Price: 2286 CZK
Availability: InStock

Third International Conference on Concurrency Theory, Stony Brook, NY, USA, August 24-27, 1992. Proceedings

Autor: Walter R. Cleaveland

Jazyk:

Vazba: Brožovaná

Vydavatel: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Dostupnost: Skladem u dodavatele

Odesíláme za 5-8 dnů

2 286 Kč

This book contains a selection of research papers describing§recent advancesin the theory of concurr...

Informace o knize

Autor

Walter R. Cleaveland

Jazyk

Angličtina

Vazba

Kniha - Brožovaná

Vydáno

1992

Stránek

586

EAN

9783540558224

ISBN

3540558225

Enbook ID

05274272

Vydavatel

Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Hmotnost

1820

Rozměry

155 x 235 x 32

Kompletní popis

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.