Mathematical Models for the Semantics of Parallelism Advanced School. Rome, Italy, September 24 - October 1, 1986. Proceedings
Título:
Mathematical Models for the Semantics of Parallelism Advanced School. Rome, Italy, September 24 - October 1, 1986. Proceedings
ISBN:
9783540479604
Edición:
1st ed. 1987.
PRODUCTION_INFO:
Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1987.
Descripción física:
VIII, 236 p. online resource.
Serie:
Lecture Notes in Computer Science, 280
Contenido:
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.
Síntesis:
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.
Autor añadido:
Autor corporativo añadido:
Acceso electrónico:
Full Text Available From Springer Nature Computer Science Archive Packages
Idioma:
Inglés