A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2006; you can also visit the original URL.
The file type is
Generic Trace Theory
Electronical Notes in Theoretical Computer Science
Trace semantics has been defined for various non-deterministic systems with different input/output types, or with different types of "non-determinism" such as classical non-determinism (with a set of possible choices) vs. probabilistic nondeterminism. In this paper we claim that these various forms of "trace semantics" are instances of a single categorical construction, namely coinduction in a Kleisli category. This claim is based on our main technical result that an initial algebra in thedoi:10.1016/j.entcs.2006.06.004 fatcat:w5zm66747vdkvc74pnr5rsny3e