%0 Conference Paper %1 conf/birthday/Broy10 %A Broy, Manfred %B Concurrency, Compositionality, and Correctness %D 2010 %E Dams, Dennis %E Hannemann, Ulrich %E Steffen, Martin %I Springer %K dblp %P 118-126 %T Synchronous Message Passing: On the Relation between Bisimulation and Refusal Equivalence. %U http://dblp.uni-trier.de/db/conf/birthday/roever2010.html#Broy10 %V 5930 %@ 978-3-642-11511-0

@inproceedings{conf/birthday/Broy10, added-at = {2017-05-23T00:00:00.000+0200}, author = {Broy, Manfred}, biburl = {https://www.bibsonomy.org/bibtex/296ca78fe6bc11a5cb9ed4f3dd2c16f55/dblp}, booktitle = {Concurrency, Compositionality, and Correctness}, crossref = {conf/birthday/2010roever}, editor = {Dams, Dennis and Hannemann, Ulrich and Steffen, Martin}, ee = {https://doi.org/10.1007/978-3-642-11512-7_8}, interhash = {b6aba1ec31d5cdf0dfa05b627df7d98d}, intrahash = {96ca78fe6bc11a5cb9ed4f3dd2c16f55}, isbn = {978-3-642-11511-0}, keywords = {dblp}, pages = {118-126}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T12:20:39.000+0200}, title = {Synchronous Message Passing: On the Relation between Bisimulation and Refusal Equivalence.}, url = {http://dblp.uni-trier.de/db/conf/birthday/roever2010.html#Broy10}, volume = 5930, year = 2010 }