Results 1 -
2 of
2
Generic trace semantics via coinduction
- Logical Methods in Comp. Sci
, 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 ..."
Abstract
-
Cited by 12 (5 self)
- Add to MetaCart
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
Generic trace theory
- International Workshop on Coalgebraic Methods in Computer Science (CMCS 2006), volume 164 of Elect. Notes in Theor. Comp. Sci
, 2006
"... 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 ..."
Abstract
-
Cited by 6 (4 self)
- Add to MetaCart
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
