%0 Conference Paper %1 conf/icalp/Larsen85 %A Larsen, Kim Guldstrand %B ICALP %D 1985 %E Brauer, Wilfried %I Springer %K dblp %P 373-382 %T A Context Dependent Equivalence between Processes. %U http://dblp.uni-trier.de/db/conf/icalp/icalp85.html#Larsen85 %V 194 %@ 3-540-15650-X

@inproceedings{conf/icalp/Larsen85, added-at = {2017-05-19T00:00:00.000+0200}, author = {Larsen, Kim Guldstrand}, biburl = {https://www.bibsonomy.org/bibtex/21151371708dc2ceec7896f68a6537014/dblp}, booktitle = {ICALP}, crossref = {conf/icalp/1985}, editor = {Brauer, Wilfried}, ee = {https://doi.org/10.1007/BFb0015763}, interhash = {fb177025c33b6a5af6b81dba0db48866}, intrahash = {1151371708dc2ceec7896f68a6537014}, isbn = {3-540-15650-X}, keywords = {dblp}, pages = {373-382}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T16:28:51.000+0200}, title = {A Context Dependent Equivalence between Processes.}, url = {http://dblp.uni-trier.de/db/conf/icalp/icalp85.html#Larsen85}, volume = 194, year = 1985 }