Pages that link to "Item:Q4371679"
From MaRDI portal
The following pages link to Branching time and abstraction in bisimulation semantics (Q4371679):
Displaying 5 items.
- On the computational complexity of bisimulation, redux (Q703845) (← links)
- Comparative branching-time semantics for Markov chains (Q2387196) (← links)
- Bisimulation and Simulation Relations for Markov Chains (Q5262953) (← links)
- Inheritance of behavior (Q5943265) (← links)
- Inheritance of workflows: An approach to tackling problems related to change (Q5958305) (← links)
