Pages that link to "Item:Q2368979"

The following pages link to Compositionality of Hennessy-Milner logic by structural operational semantics (Q2368979):

Displaying 20 items.

• Divide and congruence: from decomposition of modal formulas to preservation of branching and \(\eta \)-bisimilarity (Q418189) (← links)
• SOS formats and meta-theory: 20 years after (Q877025) (← links)
• On the expressibility of priority (Q975534) (← links)
• SOS specifications for uniformly continuous operators (Q1678172) (← links)
• Divide and congruence. II: From decomposition of modal formulas to preservation of delay and weak bisimilarity (Q1680509) (← links)
• Verification of asynchronous systems with an unspecified component (Q1731830) (← links)
• Probabilistic divide \& congruence: branching bisimilarity (Q2007735) (← links)
• Congruence from the operator's point of view. Syntactic requirements on modal characterizations (Q2182663) (← links)
• Characteristic invariants in Hennessy-Milner logic (Q2182678) (← links)
• Logical vs. behavioural specifications (Q2304534) (← links)
• Dynamic structural operational semantics (Q2329443) (← links)
• Logical characterisations, rule formats and compositionality for input-output conformance simulation (Q2423772) (← links)
• Proving the validity of equations in GSOS languages using rule-matching bisimilarity (Q2883120) (← links)
• Logical Characterisations and Compositionality of Input-Output Conformance Simulation (Q2971123) (← links)
• Compositional bisimulation metric reasoning with Probabilistic Process Calculi (Q2974795) (← links)
• Compositional Reasoning for Multi-modal Logics (Q3455830) (← links)
• A Pre-congruence Format for XY-simulation (Q3455865) (← links)
• (Q4580323) (← links)
• (Q4972733) (← links)
• Coverability Synthesis in Parametric Petri Nets (Q5111622) (← links)