Pages that link to "Item:Q1350620"

The following pages link to Branching bisimilarity is an equivalence indeed! (Q1350620):

Displaying 32 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)
• Raiders of the lost equivalence: probabilistic branching bisimilarity (Q783681) (← links)
• Model independent approach to probabilistic models (Q831149) (← links)
• Cones and foci: A mechanical framework for protocol verification (Q853730) (← links)
• Theory of interaction (Q896903) (← links)
• Unique parallel decomposition in branching and weak bisimulation semantics (Q896916) (← links)
• Essential transitions to bisimulation equivalences (Q1391753) (← links)
• Parity game reductions (Q1656552) (← links)
• Distinguishing and relating higher-order and first-order processes by expressiveness (Q1935453) (← links)
• Rooted branching bisimulation as a congruence (Q1975965) (← links)
• Probabilistic divide \& congruence: branching bisimilarity (Q2007735) (← links)
• Branching place bisimilarity: a decidable behavioral equivalence for finite Petri nets with silent moves (Q2117014) (← links)
• A complete axiomatization of weighted branching bisimulation (Q2182679) (← links)
• Team equivalences for finite-state machines with silent moves (Q2216117) (← links)
• Expressiveness of component-based frameworks: a study of the expressiveness of BIP (Q2216474) (← links)
• Divide and congruence. III: From decomposition of modal formulas to preservation of stability and divergence (Q2272990) (← links)
• Operational semantics for Petri net components (Q2373704) (← links)
• Branching Bisimulation Games (Q2827464) (← links)
• Thread algebra for noninterference (Q3625692) (← links)
• Divide and congruence III: Stability & divergence (Q5111628) (← links)
• (Q5155676) (← links)
• Causal Semantics for BPP Nets with Silent Moves (Q5164874) (← links)
• Normed Processes, Unique Decomposition, and Complexity of Bisimulation Equivalences (Q5179048) (← links)
• Branching Bisimulation Congruence for Probabilistic Systems (Q5415667) (← links)
• (Q5856418) (← links)
• Inheritance of behavior (Q5943265) (← links)
• Inheritance of workflows: An approach to tackling problems related to change (Q5958305) (← links)
• Axiomatizing flat iteration (Q6044120) (← links)
• Life-cycle inheritance (Q6487369) (← links)
• Branching bisimulation semantics for quantum processes (Q6551718) (← links)
• Dormancy-aware timed branching bisimilarity with an application to communication protocol analysis (Q6589835) (← links)