%0 Journal Article %1 journals/acta/LevinG81 %A Levin, Gary %A Gries, David %D 1981 %J Acta Inf. %K dblp %P 281-302 %T A Proof Technique for Communicating Sequential Processes. %U http://dblp.uni-trier.de/db/journals/acta/acta15.html#LevinG81 %V 15

@article{journals/acta/LevinG81, added-at = {2018-11-02T00:00:00.000+0100}, author = {Levin, Gary and Gries, David}, biburl = {https://www.bibsonomy.org/bibtex/20781e098d5a48a7b0f0b0e4a992ffb9d/dblp}, ee = {https://doi.org/10.1007/BF00289266}, interhash = {a84dd2e9cc4b56e168c8af84e2f7f901}, intrahash = {0781e098d5a48a7b0f0b0e4a992ffb9d}, journal = {Acta Inf.}, keywords = {dblp}, pages = {281-302}, timestamp = {2018-11-03T11:36:13.000+0100}, title = {A Proof Technique for Communicating Sequential Processes.}, url = {http://dblp.uni-trier.de/db/journals/acta/acta15.html#LevinG81}, volume = 15, year = 1981 }