Seminar on Concurrency Carnegie-Mellon University, Pittsburgh, PA, July 9 - 11, 1984 ; [Seminar on Semantics of Concurrency] (Springer, 1985)