The Static Derivation of Concurrency and its Mechanzed Certification - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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.

Identified as Christian Lengauer This author has not been identified. Look up 'Chua-Huang Huang' in Google

runs on WebDSL