%0 Journal Article %1 journals/toplas/AptFR80 %A Apt, Krzysztof R. %A Francez, Nissim %A de Roever, Willem P. %D 1980 %J ACM Trans. Program. Lang. Syst. %K dblp %N 3 %P 359-385 %T A Proof System for Communicating Sequential Processes. %U http://dblp.uni-trier.de/db/journals/toplas/toplas2.html#AptFR80 %V 2

@article{journals/toplas/AptFR80, added-at = {2018-11-06T00:00:00.000+0100}, author = {Apt, Krzysztof R. and Francez, Nissim and de Roever, Willem P.}, biburl = {https://www.bibsonomy.org/bibtex/263154ad04734b1b60e5e30d3f2c38162/dblp}, ee = {https://doi.org/10.1145/357103.357110}, interhash = {757a8ea0157a07f14c0c0f8b9387ed8c}, intrahash = {63154ad04734b1b60e5e30d3f2c38162}, journal = {ACM Trans. Program. Lang. Syst.}, keywords = {dblp}, number = 3, pages = {359-385}, timestamp = {2018-11-07T12:36:12.000+0100}, title = {A Proof System for Communicating Sequential Processes.}, url = {http://dblp.uni-trier.de/db/journals/toplas/toplas2.html#AptFR80}, volume = 2, year = 1980 }