Für statistische Zwecke und um bestmögliche Funktionalität zu bieten, speichert diese Website Cookies auf Ihrem Gerät. Das Speichern von Cookies kann in den Browser-Einstellungen deaktiviert werden. Wenn Sie die Website weiter nutzen, stimmen Sie der Verwendung von Cookies zu.
Cookie akzeptieren![Cleaveland, Walter R. (Hrsg.). CONCUR '92 - Third International Conference on Concurrency Theory, Stony Brook, NY, USA, August 24-27, 1992. Proceedings. Springer Berlin Heidelberg, 1992.](https://eichendorff21.de/cdata/RrDEaKtaEm8onaZQtirV8YH2UyA=/300x0/9783540558224.png)
CONCUR '92
- Springer Berlin Heidelberg
- 1992
- Taschenbuch
- 596 Seiten
- ISBN 9783540558224
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
Mehr
Weniger
zzgl. Versand
in Kürze