Pages that link to "Item:Q5277691"
From MaRDI portal
The following pages link to Precongruence formats for decorated trace semantics (Q5277691):
Displayed 24 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)
- A precongruence format for should testing preorder (Q974134) (← links)
- Bialgebraic methods and modal logic in structural operational semantics (Q1012126) (← 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)
- A comparison of Statecharts step semantics (Q1853596) (← links)
- Probabilistic divide \& congruence: branching bisimilarity (Q2007735) (← links)
- Ensuring liveness properties of distributed systems: open problems (Q2011206) (← links)
- Out for coffee: with Rob (Q2182661) (← links)
- Congruence from the operator's point of view. Syntactic requirements on modal characterizations (Q2182663) (← links)
- Divide and congruence. III: From decomposition of modal formulas to preservation of stability and divergence (Q2272990) (← links)
- Compositionality of Hennessy-Milner logic by structural operational semantics (Q2368979) (← links)
- When are prime formulae characteristic? (Q2422016) (← links)
- Logical characterisations, rule formats and compositionality for input-output conformance simulation (Q2423772) (← links)
- The expressiveness of CSP with priority (Q2520703) (← links)
- Modal logic and the approximation induction principle (Q2883116) (← links)
- Proving the validity of equations in GSOS languages using rule-matching bisimilarity (Q2883120) (← links)
- Compositional Reasoning for Multi-modal Logics (Q3455830) (← links)
- A Pre-congruence Format for XY-simulation (Q3455865) (← links)
- (Q4580323) (← links)
- Divide and congruence III: Stability & divergence (Q5111628) (← links)
- Back to the format: a survey on SOS for probabilistic processes (Q6151619) (← links)