Generic trace semantics via coinduction (2007)

Cached

Download Links

by Ichiro Hasuo , Bart Jacobs , Ana Sokolova
Venue:Logical Methods in Comp. Sci
Citations:17 - 6 self

Document Versions

Generic trace semantics via coinduction –Ichiro Hasuo, Bart Jacobs, Ana Sokolova — 2007 — Logical Methods in Comp. Sci