TY  - BOOK
AU  - Zilli,Marisa Venturini
ED  - SpringerLink (Online service)
TI  - Mathematical Models for the Semantics of Parallelism: Advanced School Rome, Italy, September 24 – October 1, 1986 Proceedings 
T2  - Lecture Notes in Computer Science,
SN  - 9783540479604
AV  - QA76.9.L63 
U1  - 005.1015113 23
PY  - 1987///
CY  - Berlin, Heidelberg
PB  - Springer Berlin Heidelberg
KW  - Computer science
KW  - Logic design
KW  - Logic, Symbolic and mathematical
KW  - Computer Science
KW  - Logics and Meanings of Programs
KW  - Computation by Abstract Devices
KW  - Programming Techniques
KW  - Mathematical Logic and Foundations
N1  - 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
N2  - 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
UR  - http://dx.doi.org/10.1007/3-540-18419-8
ER  -