Property preserving homomorphisms of transition systems (1983)

by Joseph Sifakis
Venue:In Logics of Programs