Christian Lengauer, Chua-Huang Huang. The Static Derivation of Concurrency and its Mechanzed Certification. In Stephen D. Brookes, A. W. Roscoe, Glynn Winskel, editors, Seminar on Concurrency, Carnegie-Mellon University, Pittsburg, PA, USA, July 9-11, 1984. Volume 197 of Lecture Notes in Computer Science, pages 131-150, Springer, 1984.
Abstract is missing.