Semantics of Systems of Concurrent Processes 1990: La Roche Posay, France
- Irène Guessarian:
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 - 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 - Luc Bougé, Patrick Garda:
Towards a Semantic Approach to SIMD Architectures and their Languages. 142-175 - Andrea Corradini, Gian Luigi Ferrari, Ugo Montanari:
Transition Systems with Algebraic Structure as Models of Computations. 185-222 - 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