%0 Journal Article %1 roscoe_88_laws %A Roscoe, A. W. %A Hoare, C. A. R. %D 1988 %J Theoretical Computer Science %K occam _no_pdf laws 1988 _to_download_elsevier classic %N 2 %P 177--229 %R 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-02-12T11:41:45.000+0100}, author = {Roscoe, A. W. and Hoare, C. A. R.}, biburl = {https://www.bibsonomy.org/bibtex/2a71dd241faeae186ee05b7bf01882867/leonardo}, citeulike-article-id = {1423537}, doi = {10.1016/0304-3975(88)90049-7}, interhash = {73aa5b29e4850a047b3b9a79209649b0}, intrahash = {a71dd241faeae186ee05b7bf01882867}, journal = {Theoretical Computer Science}, keywords = {occam _no_pdf laws 1988 _to_download_elsevier classic}, month = {September}, number = 2, pages = {177--229}, posted-at = {2007-06-29 19:22:43}, priority = {4}, timestamp = {2009-02-12T11:41:45.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 }