Bisimulation and abstraction homomorphisms (1985)

by I Castellani
Venue:Proc. of CAAP 85, Springer Lecture Notes in CS, vol. 185