Search

• < Previous
• 1
• Next >

---

Revisiting Trace and Testing Equivalences for Nondeterministic and Probabilistic Processes

Marco Bernardo ; Rocco De Nicola ; Michele Loreti.

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;]

---

Bridging Causal Reversibility and Time Reversibility: A Stochastic Process Algebraic Approach

Marco Bernardo ; Claudio A. Mezzina.

Causal reversibility blends reversibility and causality for concurrent systems. It indicates that an action can be undone provided that all of its consequences have been undone already, thus making it possible to bring the system back to a past consistent state. Time reversibility is instead&nbsp;[&hellip;]

---