%0 Conference Paper %1 conf/wotug/Murakami09 %A Murakami, Masaki %B CPA %D 2009 %E Welch, Peter H. %E Roebbers, Herman W. %E Broenink, Jan F. %E Barnes, Fred R. M. %E Ritson, Carl G. %E Sampson, Adam T. %E Stiles, Gardiner S. %E Vinter, Brian %I IOS Press %K dblp %P 49-66 %T On Congruence Property of Scope Equivalence for Concurrent Programs with Higher-Order Communication. %U http://dblp.uni-trier.de/db/conf/wotug/cpa2009.html#Murakami09 %V 67 %@ 978-1-60750-065-0

@inproceedings{conf/wotug/Murakami09, added-at = {2010-08-24T00:00:00.000+0200}, author = {Murakami, Masaki}, biburl = {https://www.bibsonomy.org/bibtex/2a396dfe73a33814883d9fda9a21b0814/dblp}, booktitle = {CPA}, crossref = {conf/wotug/2009}, editor = {Welch, Peter H. and Roebbers, Herman W. and Broenink, Jan F. and Barnes, Fred R. M. and Ritson, Carl G. and Sampson, Adam T. and Stiles, Gardiner S. and Vinter, Brian}, ee = {http://dx.doi.org/10.3233/978-1-60750-065-0-49}, interhash = {b5427b181de5a4ccdae77f52e49b20df}, intrahash = {a396dfe73a33814883d9fda9a21b0814}, isbn = {978-1-60750-065-0}, keywords = {dblp}, pages = {49-66}, publisher = {IOS Press}, series = {Concurrent Systems Engineering Series}, timestamp = {2013-11-20T11:36:20.000+0100}, title = {On Congruence Property of Scope Equivalence for Concurrent Programs with Higher-Order Communication.}, url = {http://dblp.uni-trier.de/db/conf/wotug/cpa2009.html#Murakami09}, volume = 67, year = 2009 }