Generic trace theory (2006)

by I Hasuo, B Jacobs, A Sokolova
Venue:in International Workshop on Coalgebraic Methods in Computer Science (CMCS 2006), volume 164 of Elect. Notes in