Erschienen: 30.03.1989 Abbildung von Bakker / Roever / Rozenberg | Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency | 1989 | School/Workshop, Noordwijkerho... | 354

Bakker / Roever / Rozenberg

Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency

School/Workshop, Noordwijkerhout, The Netherlands, May 30 - June 3, 1988

lieferbar ca. 10 Tage als Sonderdruck ohne Rückgaberecht

128,39 €

inkl. Mwst.

1989. Buch. x, 718 S. Bibliographien. Softcover

Springer. ISBN 978-3-540-51080-2

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

Gewicht: 2210 g

In englischer Sprache

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

Produktbeschreibung

This volume is based on the "School/Workshop on Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency" organized by the editors and held in the period May 30-June 3, 1988 at Noordwijkerhout, The Netherlands. The School/Workshop was an activity of the project REX - Research and Education in Concurrent Systems. The volume contains tutorials and research contributions to the three approaches - linear time, - branching time, and - partial order in semantics and proof theory of concurrent programs by the main specialists in this field. It promotes an in-depth understanding of the relative merits and disadvantages of these three approaches. An introduction to the recent literature on the subject is provided by the invited research contributions.

Autoren

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

        Ihre Daten werden geladen ...