• Produktbild: A Decade of Concurrency
  • Produktbild: A Decade of Concurrency
Band 803

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

97,99 €

inkl. gesetzl. MwSt., Versandkostenfrei


Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

28.06.1994

Herausgeber

J.W.de Bakker + weitere

Verlag

Springer Berlin

Seitenzahl

692

Maße (L/B/H)

23,5/15,5/3,7 cm

Gewicht

858 g

Auflage

1994

Sprache

Englisch

ISBN

978-3-540-58043-0

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

28.06.1994

Herausgeber

Verlag

Springer Berlin

Seitenzahl

692

Maße (L/B/H)

23,5/15,5/3,7 cm

Gewicht

858 g

Auflage

1994

Sprache

Englisch

ISBN

978-3-540-58043-0

Herstelleradresse

Springer-Verlag KG
Sachsenplatz 4-6
1201 Wien
AT

Email: GPSR Kontakt

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
  • Produktbild: A Decade of Concurrency
  • 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.