Pages that link to "Item:Q2912692"
From MaRDI portal
The following pages link to Compositionality of Probabilistic Hennessy-Milner Logic through Structural Operational Semantics (Q2912692):
Displaying 8 items.
- 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)
- Probabilistic divide \& congruence: branching bisimilarity (Q2007735) (← links)
- Logical characterization of branching metrics for nondeterministic probabilistic transition systems (Q2272986) (← links)
- Logical vs. behavioural specifications (Q2304534) (← links)
- A general SOS theory for the specification of probabilistic transition systems (Q2629851) (← links)
- Compositional bisimulation metric reasoning with Probabilistic Process Calculi (Q2974795) (← links)
- (Q4580323) (← links)
