%0 Journal Article %1 roscoe_88_laws %A Roscoe, A. W. %A Hoare, C. A. R. %D 1988 %J Theoretical Computer Science %K occam laws 1988 \_no\_pdf classic \_to\_download\_elsevier %N 2 %P 177--229 %R http://dx.doi.org/http://dx.doi.org/10.1016/0304-3975(88)90049-7 %T The laws of OCCAM programming %U http://dx.doi.org/http://dx.doi.org/10.1016/0304-3975(88)90049-7 %V 60 %X One of the attractive features of occam is the large number of memorable algebraic laws which exist relating programs. We investigate these laws and, by discovering a normal form for WHILE-free programs, show that they completely characterise the language's semantics.

@article{roscoe_88_laws, abstract = {One of the attractive features of occam is the large number of memorable algebraic laws which exist relating programs. We investigate these laws and, by discovering a normal form for WHILE-free programs, show that they completely characterise the language's semantics.}, added-at = {2009-03-10T04:39:38.000+0100}, author = {Roscoe, A. W. and Hoare, C. A. R.}, biburl = {https://www.bibsonomy.org/bibtex/2b735ecfdaefb88b9c8faf5a5048b4122/leonardo}, citeulike-article-id = {1423537}, doi = {http://dx.doi.org/http://dx.doi.org/10.1016/0304-3975(88)90049-7}, interhash = {3eee332110758206c390ba9997a39e8c}, intrahash = {b735ecfdaefb88b9c8faf5a5048b4122}, journal = {Theoretical Computer Science}, keywords = {occam laws 1988 \_no\_pdf classic \_to\_download\_elsevier}, month = {September}, number = 2, pages = {177--229}, posted-at = {2007-06-29 19:22:43}, priority = {4}, timestamp = {2009-03-10T04:39:38.000+0100}, title = {The laws of OCCAM programming}, url = {http://dx.doi.org/http://dx.doi.org/10.1016/0304-3975(88)90049-7}, volume = 60, year = 1988 }