Pages that link to "Item:Q1350620"
From MaRDI portal
The following pages link to Branching bisimilarity is an equivalence indeed! (Q1350620):
Displayed 10 items.
- Divide and congruence: from decomposition of modal formulas to preservation of branching and \(\eta \)-bisimilarity (Q418189) (← links)
- On cool congruence formats for weak bisimulations (Q549196) (← links)
- Cones and foci: A mechanical framework for protocol verification (Q853730) (← links)
- Essential transitions to bisimulation equivalences (Q1391753) (← links)
- Distinguishing and relating higher-order and first-order processes by expressiveness (Q1935453) (← 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)