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.
@inproceedings{LengauerH84,
title = {The Static Derivation of Concurrency and its Mechanzed Certification},
author = {Christian Lengauer and Chua-Huang Huang},
year = {1984},
tags = {certification},
researchr = {https://researchr.org/publication/LengauerH84},
cites = {0},
citedby = {0},
pages = {131-150},
booktitle = {Seminar on Concurrency, Carnegie-Mellon University, Pittsburg, PA, USA, July 9-11, 1984},
editor = {Stephen D. Brookes and A. W. Roscoe and Glynn Winskel},
volume = {197},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-15670-4},
}