Search

• < Previous
• 1
• Next >

Revisiting Trace and Testing Equivalences for Nondeterministic and Probabilistic Processes

Two of the most studied extensions of trace and testing equivalences to nondeterministic and probabilistic processes induce distinctions that have been questioned and lack properties that are desirable. Probabilistic trace-distribution equivalence differentiates systems that can perform the same set&nbsp;[&hellip;]