• Produktbild: A Decade of Concurrency: Reflections and Perspectives
  • Produktbild: A Decade of Concurrency: Reflections and Perspectives
Band 803

A Decade of Concurrency: Reflections and Perspectives Reflections and Perspectives. REX School/Symposium Noordwijkerhout, The Netherlands, June 1 - 4, 1993. Proceedings

97,99 €

inkl. gesetzl. MwSt., Versandkostenfrei


Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

28.06.1994

Abbildungen

VIII, 692 p.

Herausgeber

J.W.de Bakker + weitere

Verlag

Springer Berlin

Seitenzahl

692

Maße (L/B/H)

23,5/15,5/3,8 cm

Gewicht

1042 g

Auflage

1994

Sprache

Englisch

ISBN

978-3-540-58043-0

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

28.06.1994

Abbildungen

VIII, 692 p.

Herausgeber

Verlag

Springer Berlin

Seitenzahl

692

Maße (L/B/H)

23,5/15,5/3,8 cm

Gewicht

1042 g

Auflage

1994

Sprache

Englisch

ISBN

978-3-540-58043-0

Herstelleradresse

Springer-Verlag KG
Sachsenplatz 4-6
1201 Wien
AT

Email: ProductSafety@springernature.com

Noch keine Bewertungen vorhanden

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.

Kundinnen und Kunden meinen

Bewertungen (0)

  • Produktbild: A Decade of Concurrency: Reflections and Perspectives
  • Produktbild: A Decade of Concurrency: Reflections and Perspectives
  • Data-flow synchronous languages.- Process algebra with backtracking.- Some Chemical Abstract Machines.- Verification tools for finite-state concurrent systems.- Linear logic on Petri nets.- An introduction to the theoretical aspects of Coloured Petri Nets.- Temporal verification of simulation and refinement.- Verification and specification of concurrent programs.- Simulation techniques for proving properties of real-time systems.- Relationships between models of concurrency.- Interaction diagrams.- Algebraic theories for name-passing calculi.- Initial algebra and final coalgebra semantics for concurrency.- Logical specifications of infinite computations.- Partial order based design of concurrent systems.