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

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