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

by Wan Fokkink
Citations:7 - 3 self