Buch, Englisch, Band 280, 236 Seiten, Format (B × H): 155 mm x 235 mm, Gewicht: 376 g
Advanced School. Rome, Italy, September 24 - October 1, 1986. Proceedings
Buch, Englisch, Band 280, 236 Seiten, Format (B × H): 155 mm x 235 mm, Gewicht: 376 g
Reihe: Lecture Notes in Computer Science
ISBN: 978-3-540-18419-5
Verlag: Springer Berlin Heidelberg
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.
Zielgruppe
Research
Autoren/Hrsg.
Fachgebiete
- Mathematik | Informatik EDV | Informatik Programmierung | Softwareentwicklung Funktionale, Logische, Parallele und Visuelle Programmierung
- Mathematik | Informatik EDV | Informatik Programmierung | Softwareentwicklung Programmierung: Methoden und Allgemeines
- Mathematik | Informatik Mathematik Numerik und Wissenschaftliches Rechnen Numerische Mathematik
- Mathematik | Informatik EDV | Informatik Informatik Logik, formale Sprachen, Automaten
- Mathematik | Informatik Mathematik Mathematik Allgemein Grundlagen der Mathematik
- Mathematik | Informatik Mathematik Mathematik Allgemein Mathematische Logik
Weitere Infos & Material
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.
