The following pages link to (Q4808842):
Displaying 11 items.
- CADP (Q17140) (← links)
- Verification of \(\mathrm{EB}^3\) specifications using CADP (Q282110) (← links)
- A compositional model to reason about end-to-end QoS in stochastic Reo connectors (Q1651010) (← links)
- From generic partition refinement to weighted tree automata minimization (Q1982644) (← links)
- Analyzing a \(\chi\) model of a turntable system using Spin, CADP and Uppaal (Q2568979) (← links)
- Reflections on the future of concurrency theory in general and process calculi in particular (Q2870196) (← links)
- The How and Why of Interactive Markov Chains (Q3066128) (← links)
- A Compositional Semantics for Dynamic Fault Trees in Terms of Interactive Markov Chains (Q3510814) (← links)
- Compositional Abstraction for Stochastic Systems (Q3648832) (← links)
- Distributed Markovian Bisimulation Reduction aimed at CSL Model Checking (Q5415660) (← links)
- Generic partition refinement and weighted tree automata (Q6535955) (← links)
