Trace semantics for coalgebras (2004)

by B Jacobs
Venue:Coalgebraic Methods in Computer Science. Volume 106 of Electronic Notes in Theoretical Computer Science