Structured transition systems as lax coalgebras (1998)

by A Corradini, M Große-Rhode, R Heckel
Venue:In Proc. of CMCS’98, ENTS 11. Elsevier Science