Pages that link to "Item:Q1350620"
From MaRDI portal
The following pages link to Branching bisimilarity is an equivalence indeed! (Q1350620):
Displayed 7 items.
- Cones and foci: A mechanical framework for protocol verification (Q853730) (← links)
- Essential transitions to bisimulation equivalences (Q1391753) (← links)
- Rooted branching bisimulation as a congruence (Q1975965) (← links)
- Operational semantics for Petri net components (Q2373704) (← links)
- Thread algebra for noninterference (Q3625692) (← links)
- Inheritance of behavior (Q5943265) (← links)
- Inheritance of workflows: An approach to tackling problems related to change (Q5958305) (← links)