Seminar on Concurrency, Carnegie-Mellon University