CONCUR '92
Third International Conference on Concurrency Theory, Stony Brook, NY, USA, August 24-27, 1992. Proceedings
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, m…
Mehr
CHF 144.00
Preise inkl. MwSt. und Versandkosten (Portofrei ab CHF 40.00)
V103:
Folgt in ca. 5 Arbeitstagen
Produktdetails
- ISBN: 978-3-540-55822-4
- EAN: 9783540558224
- Produktnummer: 3261017
- Verlag: Springer Berlin Heidelberg
- Sprache: Englisch
- Erscheinungsjahr: 1992
- Seitenangabe: 596 S.
- Masse: H24.2 cm x B16.6 cm x D3.3 cm 855 g
- Auflage: 1992
- Abbildungen: Paperback
- Gewicht: 855
Bewertungen
Anmelden