Blick ins Buch

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

Inhaltsverzeichnis (PDF)

Artikel merken

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
Themenwelt	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