%0 Journal Article %1 journals/tcs/RoscoeH88 %A Roscoe, A. W. %A Hoare, C. A. R. %D 1988 %J Theor. Comput. Sci. %K dblp %P 177-229 %T The Laws of Occam Programming. %U http://dblp.uni-trier.de/db/journals/tcs/tcs60.html#RoscoeH88 %V 60

@article{journals/tcs/RoscoeH88, added-at = {2021-02-17T00:00:00.000+0100}, author = {Roscoe, A. W. and Hoare, C. A. R.}, biburl = {https://www.bibsonomy.org/bibtex/256a8ee641366ce9927c912aeea2c6c0a/dblp}, ee = {https://doi.org/10.1016/0304-3975(88)90049-7}, interhash = {73aa5b29e4850a047b3b9a79209649b0}, intrahash = {56a8ee641366ce9927c912aeea2c6c0a}, journal = {Theor. Comput. Sci.}, keywords = {dblp}, pages = {177-229}, timestamp = {2024-04-08T18:48:25.000+0200}, title = {The Laws of Occam Programming.}, url = {http://dblp.uni-trier.de/db/journals/tcs/tcs60.html#RoscoeH88}, volume = 60, year = 1988 }