Pages that link to "Item:Q1175940"
From MaRDI portal
The following pages link to Bisimulation through probabilistic testing (Q1175940):
Displaying 50 items.
- Axiomatizing Lüttgen \& Vogler's ready simulation for finite processes in \(\mathrm{CLL}_{R}\) (Q893593) (← links)
- Integrating stochastic reasoning into Event-B development (Q903513) (← links)
- Stochastic coalgebraic logic: bisimilarity and behavioral equivalence (Q947269) (← links)
- Comparing disjunctive modal transition systems with an one-selecting variant (Q953529) (← links)
- Automatic verification of distributed systems: the process algebra approach. (Q960505) (← links)
- CSP is a retract of CCS (Q960852) (← links)
- On metrics for probabilistic systems: definitions and algorithms (Q971582) (← links)
- Non-expansive \(\varepsilon\)-bisimulations for probabilistic processes (Q974113) (← links)
- Kleisli morphisms and randomized congruences for the Giry monad (Q995624) (← links)
- Tempus fugit: How to plug it (Q997994) (← links)
- Probabilistic mobile ambients (Q1006650) (← links)
- (Bi)simulations up-to characterise process semantics (Q1012122) (← links)
- Optimal state-space lumping in Markov chains (Q1014448) (← links)
- Coalgebraic logic for stochastic right coalgebras (Q1023291) (← links)
- Domain semantics of possibility computations (Q1031684) (← links)
- A tutorial on EMPA: A theory of concurrent processes with nondeterminism, priorities, probabilities and time (Q1128976) (← links)
- Structured operational semantics and bisimulation as a congruence (Q1198952) (← links)
- LOTOS extended with probabilistic behaviours (Q1261318) (← links)
- A formal approach to the integration of performance aspects in the modeling and analysis of concurrent systems (Q1271643) (← links)
- Coalgebraic logic (Q1295427) (← links)
- A logic for reasoning about time and reliability (Q1343864) (← links)
- Processes with probabilities, priority and time (Q1343865) (← links)
- Composition and behaviors of probabilistic I/O automata (Q1392272) (← links)
- Approximating labelled Markov processes (Q1398379) (← links)
- The power of reachability testing for timed automata (Q1399974) (← links)
- Algebraic theory of probabilistic and nondeterministic processes. (Q1400156) (← links)
- On the use of MTBDDs for performability analysis and verification of stochastic systems. (Q1400289) (← links)
- Algebraic theory of probabilistic processes. (Q1400293) (← links)
- Universal coalgebra: A theory of systems (Q1583483) (← links)
- Measure and probability for concurrency theorists (Q1589655) (← links)
- The theory of interactive generalized semi-Markov processes (Q1603705) (← links)
- Testing preorders for probabilistic processes can be characterized by simulations (Q1603706) (← links)
- Automatic verification of real-time systems with discrete probability distributions. (Q1603709) (← links)
- A process algebra for probabilistic and nondeterministic processes (Q1607111) (← links)
- Additive models of probabilistic processes (Q1607220) (← links)
- Quantitative analysis of software approximate correctness (Q1664851) (← links)
- SOS specifications for uniformly continuous operators (Q1678172) (← links)
- Probabilistic bisimilarity as testing equivalence (Q1680507) (← links)
- \textsc{ULTraS} at work: compositionality metaresults for bisimulation and trace semantics (Q1683708) (← links)
- Algorithmic and logical characterizations of bisimulations for non-deterministic fuzzy transition systems (Q1697986) (← links)
- Constructive logical characterizations of bisimilarity for reactive probabilistic systems (Q1731513) (← links)
- Verification and control for probabilistic hybrid automata with finite bisimulations (Q1734511) (← links)
- Approximate relational Hoare logic for continuous random samplings (Q1744393) (← links)
- Lumping-based equivalences in Markovian automata: algorithms and applications to product-form analyses (Q1753998) (← links)
- Domain theory, testing and simulation for labelled Markov processes (Q1770416) (← links)
- A behavioural pseudometric for probabilistic transition systems (Q1770428) (← links)
- On the metric-based approximate minimization of Markov chains (Q1785848) (← links)
- Priority as extremal probability (Q1816921) (← links)
- Performance measure sensitive congruences for Markovian process algebras (Q1853585) (← links)
- Discrete time generative-reactive probabilistic processes with different advancing speeds (Q1853593) (← links)
