Pages that link to "Item:Q1400293"
From MaRDI portal
The following pages link to Algebraic theory of probabilistic processes. (Q1400293):
Displayed 12 items.
- An extended framework for passive asynchronous testing (Q347402) (← links)
- A uniform framework for modeling nondeterministic, probabilistic, stochastic, or mixed processes and their behavioral equivalences (Q384933) (← links)
- A translation of \(\text{TPAL}_{p}\) into a class of timed-probabilistic Petri nets (Q557805) (← links)
- Linking operational semantics and algebraic semantics for a probabilistic timed shared-variable language (Q652158) (← links)
- Testing from a stochastic timed system with a fault model (Q1001893) (← links)
- Using schedulers to test probabilistic distributed systems (Q1941881) (← links)
- Specification, testing and implementation relations for symbolic-probabilistic systems (Q2368993) (← links)
- Non-bisimulation-based Markovian behavioral equivalences (Q2373649) (← links)
- \(\pi\)-calculus with noisy channels (Q2570971) (← links)
- Denotational Semantics for a Probabilistic Timed Shared-Variable Language (Q3455653) (← links)
- Derivation of a Suitable Finite Test Suite for Customized Probabilistic Systems (Q3613092) (← links)
- Markovian Testing and Trace Equivalences Exactly Lump More Than Markovian Bisimilarity (Q5262954) (← links)