Generic trace semantics via coinduction (0)

by Ichiro Hasuo, Bart Jacobs, Ana Sokolova
Venue:Logical Methods in Computer Science