Advanced School: Mathematical Models for the Semantics of Parallelism 1986

Marisa Venturini Zilli (Ed.): Mathematical Models for the Semantics of Parallelism, Advanced School, Rome, Italy, September 24 - October 1, 1986, Proceedings. Lecture Notes in Computer Science 280 Springer 1987, ISBN 3-540-18419-8

@proceedings{DBLP:conf/ac/1986parallel,
  editor    = {Marisa Venturini Zilli},
  title     = {Mathematical Models for the Semantics of Parallelism, Advanced
               School, Rome, Italy, September 24 - October 1, 1986, Proceedings},
  booktitle = {Mathematical Models for the Semantics of Parallelism},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {280},
  year      = {1987},
  isbn      = {3-540-18419-8},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

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

Last update Mon May 21 02:19:03 2012 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page