Mathematical Models for the Semantics of Parallelism Advanced School. Rome, Italy, September 24 - October 1, 1986. Proceedings - Advanced School on Mathematical Models for the Semantics of Parallelism; Venturini Zilli, Marisa; Advanced School on Mathematical Models for Semantics of Parallelism (1986 : Istituto per le applicazioni del calcolo "Mauro Picone") (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1987)
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.
Bibliographic Level Mode of Issuance: Monograph
English
Keywords: Computer logic; Computers; Computer programming; Logic, Symbolic and mathematical; Logics and Meanings of Programs; Computation by Abstract Devices; Programming Techniques; Mathematical Logic and Foundations