Generic trace semantics via coinduction (2007)
by
Ichiro Hasuo
,
Bart Jacobs
,
Ana Sokolova
| Venue: | Logical Methods in Comp. Sci |
| Citations: | 12 - 5 self |
Document Versions
| Generic trace semantics via coinduction –Ichiro Hasuo, Bart Jacobs, Ana Sokolova — 2007 — Logical Methods in Comp. Sci |
