Ernst-Rüdiger Olderog. TCSP: Theory of Communicating Sequential Processes. In Wilfried Brauer, Wolfgang Reisig, Grzegorz Rozenberg, editors, Petri Nets: Central Models and Their Properties, Advances in Petri Nets 1986, Part II, Proceedings of an Advanced Course, Bad Honnef, 8.-19. September 1986. Volume 255 of Lecture Notes in Computer Science, pages 441-465, Springer, 1986.
@inproceedings{Olderog86:1,
title = {TCSP: Theory of Communicating Sequential Processes},
author = {Ernst-Rüdiger Olderog},
year = {1986},
researchr = {https://researchr.org/publication/Olderog86%3A1},
cites = {0},
citedby = {0},
pages = {441-465},
booktitle = {Petri Nets: Central Models and Their Properties, Advances in Petri Nets 1986, Part II, Proceedings of an Advanced Course, Bad Honnef, 8.-19. September 1986},
editor = {Wilfried Brauer and Wolfgang Reisig and Grzegorz Rozenberg},
volume = {255},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-17906-2},
}