88 citations · 339 across the 67 of their papers we have counts for
1 paper · 1 filter
Ichiro Hasuo, Bart Jacobs, Ana Sokolova
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…