Theoretical Computer Science: Logic, Semantics and Theory of Programming. Volume 138, Number 2. Selected Papers of the Meeting on the Mathematical Foundations of Programming Semantics (MFPS '92), Oxford, April 1992, Part 3: Concurrency Theory
Nivat, M ; Mislove, M. W ; Reed, G. M ; Roscoe, A. W ; Wachter, R. F