On the Completeness of the Equations for the Kleene Star in bisimulation

by Wan Fokkink
Citations:9 - 3 self