Mathematical Models for the Semantics of Parallelism: Advanced School. Rome, Italy, September 24 - October 1, 1986. Proceedings (Lecture Notes in Computer Science)

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....Pages 1-20 Designing equivalent semantic models for process creation....Pages 21-80 An outline of the SMoLCS approach....Pages 81-113 Views of distributed systems....Pages 114-143 CCS is an (augmented) contact free C/E system....Pages 144-165 Linear logic and parallelism....Pages 166-182 Universal models in categories for process synchronization....Pages 183-198 On axiomatic defintion of max-model of concurrency....Pages 199-230 Many systems are the result of the cooperation (synchronization, messages exchange) of distinct subsystems.