Erschienen: 12.08.1992 Abbildung von Cleaveland | CONCUR '92 | 1992 | Third International Conference... | 630

Cleaveland

CONCUR '92

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

lieferbar ca. 10 Tage als Sonderdruck ohne Rückgaberecht

112,34 €

inkl. Mwst.

1992. Buch. x, 586 S. Bibliographien. Softcover

Springer. ISBN 978-3-540-55822-4

Format (B x L): 15,5 x 23,5 cm

Gewicht: 1820 g

In englischer Sprache

Das Werk ist Teil der Reihe: Lecture Notes in Computer Science; 630

Produktbeschreibung

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.

Autoren

  • Dieses Set enthält folgende Produkte:
      Auch in folgendem Set erhältlich:
      • nach oben

        Ihre Daten werden geladen ...