Semantics of Systems of Concurrent Processes 1990: La Roche Posay, France

Irène Guessarian (Ed.): Semantics of Systems of Concurrent Processes, LITP Spring School on Theoretical Computer Science, La Roche Posay, France, April 23-27, 1990, Proceedings. Lecture Notes in Computer Science 469 Springer 1990, ISBN 3-540-53479-2 BibTeX

@proceedings{DBLP:conf/litp/1990,
  editor    = {Ir{\`e}ne Guessarian},
  title     = {Semantics of Systems of Concurrent Processes, LITP Spring School
               on Theoretical Computer Science, La Roche Posay, France, April
               23-27, 1990, Proceedings},
  booktitle = {Semantics of Systems of Concurrent Processes},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {469},
  year      = {1990},
  isbn      = {3-540-53479-2},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Egidio Astesiano, Alessandro Giovini, Gianna Reggio: Processes as Data Types: Observational Semantics and Logic. 1-20 BibTeX
J. W. de Bakker, J. H. A. Warmerdam: Metric Pomset Semantics for a Concurrnt Language with Recursion. 21-49 BibTeX
Joffroy Beauquier: Fault-Tolerant Naming and Mutual Exclusion. 50-61 BibTeX
Gérard Boudol: Flow Event Structures and Flow Nets. 62-95 BibTeX
Gérard Boudol, Ilaria Castellani: Three Equivalent Semantics for CCS. 96-141 BibTeX
Luc Bougé, Patrick Garda: Towards a Semantic Approach to SIMD Architectures and their Languages. 142-175 BibTeX
Bernadette Charron-Bost: Concerning the Size of Clocks. 176-184 BibTeX
Andrea Corradini, Gian Luigi Ferrari, Ugo Montanari: Transition Systems with Algebraic Structure as Models of Computations. 185-222 BibTeX
Philippe Darondeau: Concurrency and Computability. 223-238 BibTeX
Philippe Darondeau, Pierpaolo Degano: Causal Trees: Interleaving + Causality. 239-255 BibTeX
Gérard Duchamp, Daniel Krob: Partially Commutative Formal Power Series. 256-276 BibTeX
Paul Gastin: Infinite Traces. 277-308 BibTeX
Rob J. van Glabbeek, Ursula Goltz: Equivalences and Refinement. 309-333 BibTeX
Ursula Goltz: CCS and Petri Nets. 334-357 BibTeX
Irène Guessarian: About Fixpoints for Concurrency. 358-374 BibTeX
Stefano Kasangian, Anna Labella, Alberto Pettorossi: Observers, Experiments and Agents: a Comprehensive Approach to Parallelism. 375-406 BibTeX
Rocco De Nicola, Frits W. Vaandrager: Action versus State based Logics for Transition Systems. 407-419 BibTeX
Lutz Priese: Approaching Fair Computations by Ultra Metrics. 420-433 BibTeX
Brigitte Rozoy: On Distributed Languages and Models for Distributed Computation. 434-456 BibTeX