The following pages link to Suzana Andova (Q764286):
Displayed 17 items.
- (Q541682) (redirect page) (← links)
- Dynamic consistency in process algebra: from paradigm to ACP (Q541685) (← links)
- Branching bisimulation congruence for probabilistic systems (Q764289) (← links)
- Probabilistic may/must testing: retaining probabilities by restricted schedulers (Q1941883) (← links)
- A framework for compositional verification of security protocols (Q2482454) (← links)
- Branching bisimulation for probabilistic systems: characteristics and decidability (Q2491633) (← links)
- (Q2767184) (← links)
- (Q2769588) (← links)
- (Q2848135) (← links)
- (Q2989000) (← links)
- Retaining the Probabilities in Probabilistic Testing Theory (Q3557845) (← links)
- On Compositionality, Efficiency, and Applicability of Abstraction in Probabilistic Systems (Q3599065) (← links)
- (Q4708427) (← links)
- (Q5151036) (← links)
- Dynamic Consistency in Process Algebra: From Paradigm to ACP (Q5179202) (← links)
- Formal Modeling and Analysis of Timed Systems (Q5717503) (← links)
- A Complete Axiomatisation of Branching Bisimulation for Probabilistic Systems with an Application in Protocol Verification (Q5756596) (← links)