Property preserving homomorphisms of transition systems (1983)

by J Sifakis
Venue:4th Workshop on Logics of Programs, Pittsburgh. LNCS 164