Pages that link to "Item:Q2056980"
From MaRDI portal
The following pages link to Alternative characterizations of probabilistic trace equivalences on coherent resolutions of nondeterminism (Q2056980):
Displaying 6 items.
- Towards general axiomatizations for bisimilarity and trace semantics (Q2237336) (← links)
- Relating strong behavioral equivalences for processes with nondeterminism and probabilities (Q2253178) (← links)
- Determining asynchronous test equivalence for probabilistic processes (Q2671816) (← links)
- (Q3825916) (← links)
- A Complete Axiomatisation for Probabilistic Trace Equivalence (Q5089615) (← links)
- THREE CHARACTERIZATIONS OF STRICT COHERENCE ON INFINITE-VALUED EVENTS (Q5117594) (← links)