Walter Vogler. Bisimulation and Action Refinement. In Christian Choffrut, Matthias Jantzen, editors, STACS 91, 8th Annual Symposium on Theoretical Aspects of Computer Science, Hamburg, Germany, February 14-16, 1991, Proceedings. Volume 480 of Lecture Notes in Computer Science, pages 309-321, Springer, 1991.
@inproceedings{Vogler91:0, title = {Bisimulation and Action Refinement}, author = {Walter Vogler}, year = {1991}, tags = {refinement}, researchr = {https://researchr.org/publication/Vogler91%3A0}, cites = {0}, citedby = {0}, pages = {309-321}, booktitle = {STACS 91, 8th Annual Symposium on Theoretical Aspects of Computer Science, Hamburg, Germany, February 14-16, 1991, Proceedings}, editor = {Christian Choffrut and Matthias Jantzen}, volume = {480}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {3-540-53709-0}, }