Generic trace semantics via coinduction
Ichiro Hasuo, Bart Jacobs, Ana Sokolova · 2007
Abstract. Trace semantics has been defined for various kinds of state-based systems, notably with different forms of branching such as non-determinism vs. probability. In this paper we claim to identify one underlying mathematical structure behind these “trace