Seminar on Concurrency (1984 Carnegie-Mellon University)