Zum Hauptinhalt springen
Nicht aus der Schweiz? Besuchen Sie lehmanns.de

Mathematical Models for the Semantics of Parallelism

Advanced School. Rome, Italy, September 24 - October 1, 1986. Proceedings

Marisa Venturini Zilli (Herausgeber)

Buch | Softcover
VIII, 236 Seiten
1987
Springer Berlin (Verlag)
978-3-540-18419-5 (ISBN)

Lese- und Medienproben

Mathematical Models for the Semantics of Parallelism -
CHF 74,85 inkl. MwSt
The papers collected in this volume are most of the material presented at the Advanced School on Mathematical Models for the Semantics of Parallelism, held in Rome, September 24- October 1, 1986. The need for a comprehensive and clear presentation of the several semantical approaches to parallelism motivated the stress on mathematical models, by means of which comparisons among different approaches can also be performed in a perspicuous way.

Testing equivalences for event structures.- Designing equivalent semantic models for process creation.- An outline of the SMoLCS approach.- Views of distributed systems.- CCS is an (augmented) contact free C/E system.- Linear logic and parallelism.- Universal models in categories for process synchronization.- On axiomatic defintion of max-model of concurrency.

Erscheint lt. Verlag 7.10.1987
Reihe/Serie Lecture Notes in Computer Science
Zusatzinfo VIII, 236 p.
Verlagsort Berlin
Sprache englisch
Maße 155 x 235 mm
Gewicht 393 g
Themenwelt Mathematik / Informatik Informatik Theorie / Studium
Mathematik / Informatik Mathematik Logik / Mengenlehre
Schlagworte Concurrency • Distributed Systems • Equivalence • Logic • Mathematische Logik • Parallelism • Programmierung • Semantics
ISBN-10 3-540-18419-8 / 3540184198
ISBN-13 978-3-540-18419-5 / 9783540184195
Zustand Neuware
Informationen gemäß Produktsicherheitsverordnung (GPSR)
Haben Sie eine Frage zum Produkt?
Mehr entdecken
aus dem Bereich
was jeder über Informatik wissen sollte

von Timm Eichstädt; Stefan Spieker

Buch | Softcover (2024)
Springer Vieweg (Verlag)
CHF 53,15
Grundlagen – Anwendungen – Perspektiven

von Matthias Homeister

Buch | Softcover (2022)
Springer Vieweg (Verlag)
CHF 53,15
Teil 2 der gestreckten Abschlussprüfung Fachinformatiker/-in …

von Dirk Hardy; Annette Schellenberg; Achim Stiefel

Buch | Softcover (2025)
Europa-Lehrmittel (Verlag)
CHF 37,90