Pages that link to "Item:Q1884905"
From MaRDI portal
The following pages link to Branching time and orthogonal bisimulation equivalence (Q1884905):
Displaying 7 items.
- Branching bisimulation congruence for probabilistic systems (Q764289) (← links)
- Raiders of the lost equivalence: probabilistic branching bisimilarity (Q783681) (← links)
- Preferential choice and coordination conditions (Q864506) (← links)
- The compression structure of a process (Q1044743) (← links)
- Next-preserving branching bisimulation (Q2355689) (← links)
- Deciding orthogonal bisimulation (Q2461535) (← links)
- Branching Bisimulation Congruence for Probabilistic Systems (Q5415667) (← links)
