On the Completeness of the Equations for the Kleene Star in Bisimulation (1996)

by Wan Fokkink
Venue:In Proceedings AMAST'96, LNCS 1101
Citations:8 - 3 self