Mathematical Models for the Semantics of Parallelism: Advanced School. Rome, Italy, September 24 - October 1, 1986. Proceedings
Marisa Venturini Zilli · Medical Entomology and Zoology · 1987
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.