%0 Conference Paper %1 conf/popl/HuizingGR87 %A Huizing, Cornelis %A Gerth, Rob %A de Roever, Willem P. %B POPL %D 1987 %I ACM Press %K dblp %P 223-237 %T Full Abstraction of a Real-Time Denotational Semantics for an Occam-like Language. %U http://dblp.uni-trier.de/db/conf/popl/popl87.html#HuizingGR87 %@ 0-89791-215-2

@inproceedings{conf/popl/HuizingGR87, added-at = {2018-11-06T00:00:00.000+0100}, author = {Huizing, Cornelis and Gerth, Rob and de Roever, Willem P.}, biburl = {https://www.bibsonomy.org/bibtex/2f37fa8a7f1ae00d0ac76a9640698f7c9/dblp}, booktitle = {POPL}, crossref = {conf/popl/1987}, ee = {https://doi.org/10.1145/41625.41645}, interhash = {8e210fed936b91022bf6a66861d3c6e1}, intrahash = {f37fa8a7f1ae00d0ac76a9640698f7c9}, isbn = {0-89791-215-2}, keywords = {dblp}, pages = {223-237}, publisher = {ACM Press}, timestamp = {2018-11-07T15:43:47.000+0100}, title = {Full Abstraction of a Real-Time Denotational Semantics for an Occam-like Language.}, url = {http://dblp.uni-trier.de/db/conf/popl/popl87.html#HuizingGR87}, year = 1987 }