Search

• < Previous
• 1
• Next >

The Theory of Traces for Systems with Nondeterminism, Probability, and Termination

This paper studies trace-based equivalences for systems combining nondeterministic and probabilistic choices. We show how trace semantics for such processes can be recovered by instantiating a coalgebraic construction known as the generalised powerset construction. We characterise and compare the&nbsp;[&hellip;]