Mathematical Models for the Semantics of Parallelism Advanced School. Rome, Italy, September 24 - October 1, 1986. Proceedings
Başlık:
Mathematical Models for the Semantics of Parallelism Advanced School. Rome, Italy, September 24 - October 1, 1986. Proceedings
ISBN:
9783540479604
Edition:
1st ed. 1987.
Yayın Bilgileri:
Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1987.
Fiziksel Tanımlama:
VIII, 236 p. online resource.
Series:
Lecture Notes in Computer Science, 280
Contents:
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.
Abstract:
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.
Added Author:
Ek Kurum Yazarı:
Elektronik Erişim:
Full Text Available From Springer Nature Computer Science Archive Packages
Dil:
English