%0 Journal Article %1 journals/iandc/Walker90 %A Walker, D. J. %D 1990 %J Inf. Comput. %K dblp %N 2 %P 202-241 %T Bisimulation and Divergence %U http://dblp.uni-trier.de/db/journals/iandc/iandc85.html#Walker90 %V 85

@article{journals/iandc/Walker90, added-at = {2021-02-12T00:00:00.000+0100}, author = {Walker, D. J.}, biburl = {https://www.bibsonomy.org/bibtex/224ba8342fea97a62c5031e063dd7540b/dblp}, ee = {https://doi.org/10.1016/0890-5401(90)90048-M}, interhash = {2bacc5417b40a551e1fe95d6468a035a}, intrahash = {24ba8342fea97a62c5031e063dd7540b}, journal = {Inf. Comput.}, keywords = {dblp}, month = {April}, number = 2, pages = {202-241}, timestamp = {2024-04-09T06:07:43.000+0200}, title = {Bisimulation and Divergence}, url = {http://dblp.uni-trier.de/db/journals/iandc/iandc85.html#Walker90}, volume = 85, year = 1990 }