Tile Transition Systems as Structured Coalgebras (1999)

by Andrea Corradini, Reiko Heckel, Ugo Montanari
Venue:FUNDAMENTALS OF COMPUTATION THEORY, VOLUME 1684 OF LNCS