18 citations · 67 across the 31 of their papers we have counts for
1 paper · 2 filters
Henning Kerstan, Barbara König
Coalgebras in a Kleisli category yield a generic definition of trace semantics for various types of labelled transition systems. In this paper we apply this generic theory to gener…