Conferences in DBLP

Advanced Courses (ac)
1986 (conf/ac/1986parallel)

1. Luca Aceto, Rocco De Nicola, Alessandro Fantechi
   Testing Equivalences for Event Structures. [Citation Graph (0, 0)][DBLP]
   Mathematical Models for the Semantics of Parallelism, 1986, pp:1-20 [Conf]
   
2. Pierre America, Jaco de Bakker
   Designing Equvialent Semantic Models for Process Creation. [Citation Graph (0, 0)][DBLP]
   Mathematical Models for the Semantics of Parallelism, 1986, pp:21-80 [Conf]
   
3. Egidio Astesiano, Gianna Reggio
   An Qutline of the SMoLCS Approach. [Citation Graph (0, 0)][DBLP]
   Mathematical Models for the Semantics of Parallelism, 1986, pp:81-113 [Conf]
   
4. Manfred Broy, Thomas Streicher
   Views of Distributed Systems. [Citation Graph (0, 0)][DBLP]
   Mathematical Models for the Semantics of Parallelism, 1986, pp:114-143 [Conf]
   
5. Pierpaolo Degano, Rocco De Nicola, Ugo Montanari
   CCS is an (Augmented) Contact Free C/E System. [Citation Graph (0, 0)][DBLP]
   Mathematical Models for the Semantics of Parallelism, 1986, pp:144-165 [Conf]
   
6. Jean-Yves Girard
   Linear Logic and Parallelism. [Citation Graph (0, 0)][DBLP]
   Mathematical Models for the Semantics of Parallelism, 1986, pp:166-182 [Conf]
   
7. Anna Labella, Alberto Pettorossi
   Universal Models in Categories for Process Synchronization. [Citation Graph (0, 0)][DBLP]
   Mathematical Models for the Semantics of Parallelism, 1986, pp:183-198 [Conf]
   
8. Grazyna Mirkowska, Andrzej Salwicki
   On Axiomatic Definition of Max-Model of Concurrency. [Citation Graph (0, 0)][DBLP]
   Mathematical Models for the Semantics of Parallelism, 1986, pp:199-230 [Conf]