Tile Transition Systems as Structured Coalgebras.

Andrea Corradini, Reiko Heckel, Ugo Montanari

Browse the full FCT paper archive.