M. Hakan Erdogmus, Robert Johnston. On the Specification and Synthesis of Communicating Processes. IEEE Trans. Software Eng., 16(12):1412-1426, 1990. [doi]
@article{ErdogmusJ90:0,
title = {On the Specification and Synthesis of Communicating Processes},
author = {M. Hakan Erdogmus and Robert Johnston},
year = {1990},
url = {http://www.computer.org/tse/ts1990/e1412abs.htm},
researchr = {https://researchr.org/publication/ErdogmusJ90%3A0},
cites = {0},
citedby = {0},
journal = {IEEE Trans. Software Eng.},
volume = {16},
number = {12},
pages = {1412-1426},
}