2 search results - page 1 / 1 » Generic Trace Semantics and Graded Monads |
ENTCS
2006
13 years 4 months ago
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 ...
CORR
2011
Springer
12 years 11 months ago
2011
Springer
Finite trace semantics is known and well understood for classical automata and non-deterministic labelled transition systems. Jacobs et al introduced a more general definition fo...