Structured transition systems as lax coalgebras (1998)

by Andrea Corradini, Martin Große-Rhode, Reiko Heckel
Venue:Elect. Notes in Theor. Comp. Sci