Generic trace semantics via coinduction (0)

by I Hasuo, B Jacobs, A Sokolova
Venue:Logical Methods in Computer Science