U.: Tile transition systems as structured coalgebras (1999)

by A Corradini, R Heckel, Montanari
Venue:In: Proc. of FCT