Mathematical Models for the Semantics of Parallelism

Keyphrases

Publications

volume 280, 1987

Mathematical Models for the Semantics of Parallelism, Advanced School, Rome, Italy, September 24 - October 1, 1986, Proceedings Mathematical Models for the Semantics of Parallelism 280 (1987)

1986

Pierre America, Jaco de Bakker
Designing Equvialent Semantic Models for Process Creation. Mathematical Models for the Semantics of Parallelism (1986)
Grazyna Mirkowska, Andrzej Salwicki
On Axiomatic Definition of Max-Model of Concurrency. Mathematical Models for the Semantics of Parallelism (1986)
Luca Aceto, Rocco De Nicola, Alessandro Fantechi
Testing Equivalences for Event Structures. Mathematical Models for the Semantics of Parallelism (1986)
Manfred Broy, Thomas Streicher
Views of Distributed Systems. Mathematical Models for the Semantics of Parallelism (1986)
Jean-Yves Girard
Linear Logic and Parallelism. Mathematical Models for the Semantics of Parallelism (1986)
Anna Labella, Alberto Pettorossi
Universal Models in Categories for Process Synchronization. Mathematical Models for the Semantics of Parallelism (1986)
Egidio Astesiano, Gianna Reggio
An Qutline of the SMoLCS Approach. Mathematical Models for the Semantics of Parallelism (1986)
Pierpaolo Degano, Rocco De Nicola, Ugo Montanari
CCS is an (Augmented) Contact Free C/E System. Mathematical Models for the Semantics of Parallelism (1986)