Articles liés à CONCUR '92: Third International Conference on Concurrenc...

CONCUR '92: Third International Conference on Concurrency Theory, Stony Brook, NY, USA, August 24-27, 1992. Proceedings - Couverture souple

Cleaveland, Walter R.

 
9783540558224: CONCUR '92: Third International Conference on Concurrency Theory, Stony Brook, NY, USA, August 24-27, 1992. Proceedings
Couverture souple
ISBN 10 : 3540558225 ISBN 13 : 9783540558224
Editeur : Springer, 2008

Synopsis

This book contains a selection of research papers describingrecent advancesin the theory of concurrent systems andtheir applications. The papers were all presented at theCONCUR '92 conference, which has emerged as the premiereconference on formal aspects of concurrency. The authorsinclude such prominent researchers as R. Milner, A. Pnueli,N. Lynch, and V.R. Pratt. The results represent advances inthe mathematical understanding of the behavior of concurrentsystems: topics covered include process algebras, models oftrue concurrency, compositional verification techniques,temporal logic, verification case studies, models ofprobabilistic and real-time systems, models of systems withdynamic structure, and algorithms and decidability resultsfor system analysis.A key feature of CONCUR is its breadth: in one volume itpresents a snapshot of the state of the art in concurrencytheory. Assuch, it is indispensible to researchers - andwould-be researchers - in theformal analysis of concurrentsystems.

Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.

À propos de la quatrième de couverture

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.

Les informations fournies dans la section « A propos du livre » peuvent faire référence à une autre édition de ce titre.

Éditeur
Springer
Date d'édition
2008
Langue
anglais
ISBN 10 
3540558225
ISBN 13 
9783540558224
Reliure
Broché
Nombre de pages
590
Coordonnées du fabricant
Springer Nature Customer Service Center GmbH
ProductSafety@springernature.com

Europaplatz 3
Heidelberg
69115
Allemagne