Generic trace semantics via coinduction (0)

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