The following pages link to Paulien de Wind (Q418188):
Displayed 5 items.
- Divide and congruence: from decomposition of modal formulas to preservation of branching and \(\eta \)-bisimilarity (Q418189) (← links)
- Compositionality of Hennessy-Milner logic by structural operational semantics (Q2368979) (← links)
- (Q2852097) (← links)
- Divide and Congruence: From Decomposition of Modalities to Preservation of Branching Bisimulation (Q3591399) (← links)
- Fundamentals of Computation Theory (Q5900816) (← links)