%0 Conference Paper %1 conf/coordination/GladsteinW96 %A Gladstein, David S. %A Wand, Mitchell %B COORDINATION %D 1996 %E Ciancarini, Paolo %E Hankin, Chris %I Springer %K dblp %P 231-248 %T Compiler Correctness for Concurrent Languages. %U http://dblp.uni-trier.de/db/conf/coordination/coordination1996.html#GladsteinW96 %V 1061 %@ 3-540-61052-9

@inproceedings{conf/coordination/GladsteinW96, added-at = {2017-05-22T00:00:00.000+0200}, author = {Gladstein, David S. and Wand, Mitchell}, biburl = {https://www.bibsonomy.org/bibtex/285aa710ccc71782766de7fcf0bcd2dd6/dblp}, booktitle = {COORDINATION}, crossref = {conf/coordination/1996}, editor = {Ciancarini, Paolo and Hankin, Chris}, ee = {https://doi.org/10.1007/3-540-61052-9_49}, interhash = {ba49a2b3858911e2129e48b0a693e15a}, intrahash = {85aa710ccc71782766de7fcf0bcd2dd6}, isbn = {3-540-61052-9}, keywords = {dblp}, pages = {231-248}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T19:07:33.000+0200}, title = {Compiler Correctness for Concurrent Languages.}, url = {http://dblp.uni-trier.de/db/conf/coordination/coordination1996.html#GladsteinW96}, volume = 1061, year = 1996 }