On the completeness of the equations for the Kleene star in bisimulation (1996)

by W J Fokkink
Venue:Proceedings 5th Conference on Algebraic Methodology and Software Technology (AMAST'96), Munich, volume 1101 of LNCS