Bisimulation and Action Refinement

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.

Abstract

Abstract is missing.