Ernst-Rüdiger Olderog. Specification-Oriented Programming in TCSP. In Krzysztof R. Apt, editor, Logics and Models of Concurrent Systems - Conference proceedings, Colle-sur-Loup (near Nice), France, 8-19 October 1984. Volume 13 of NATO ASI Series, pages 397-435, Springer, 1984. [doi]
@inproceedings{Olderog84-0,
title = {Specification-Oriented Programming in TCSP},
author = {Ernst-Rüdiger Olderog},
year = {1984},
doi = {10.1007/978-3-642-82453-1_14},
url = {https://doi.org/10.1007/978-3-642-82453-1_14},
researchr = {https://researchr.org/publication/Olderog84-0},
cites = {0},
citedby = {0},
pages = {397-435},
booktitle = {Logics and Models of Concurrent Systems - Conference proceedings, Colle-sur-Loup (near Nice), France, 8-19 October 1984},
editor = {Krzysztof R. Apt},
volume = {13},
series = {NATO ASI Series},
publisher = {Springer},
isbn = {978-3-642-82453-1},
}