The following pages link to (Q4037401):
Displaying 11 items.
- Constructive logical characterizations of bisimilarity for reactive probabilistic systems (Q1731513) (← links)
- Exploring probabilistic bisimulations. I (Q1941884) (← links)
- A game for linear-time-branching-time spectroscopy (Q2044187) (← links)
- Fixpoint theory -- upside down (Q2233395) (← links)
- Bisimulation for labelled Markov processes (Q2506488) (← links)
- Process Algebra and Model Checking (Q3176390) (← links)
- (Q5014799) (← links)
- Quasilinear-time Computation of Generic Modal Witnesses for Behavioural Inequivalence (Q5060192) (← links)
- (Q5101352) (← links)
- Generating diagnostic information for behavioral preorders (Q5137006) (← links)
- Fixpoint Theory -- Upside Down (Q6135764) (← links)