Pages that link to "Item:Q1400156"

The following pages link to Algebraic theory of probabilistic and nondeterministic processes. (Q1400156):

Displaying 15 items.

• 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)
• Model independent approach to probabilistic models (Q831149) (← links)
• Generating the syntactic and semantics graphs for a Markovian process algebra (Q879408) (← links)
• Testing from a stochastic timed system with a fault model (Q1001893) (← links)
• Probabilistic may/must testing: retaining probabilities by restricted schedulers (Q1941883) (← links)
• Specification, testing and implementation relations for symbolic-probabilistic systems (Q2368993) (← links)
• A theory of stochastic systems. II: Process algebra (Q2575855) (← links)
• Probabilistic extensions of process algebras. (Q2760248) (← links)
• Remarks on testing probabilistic processes (Q2864156) (← links)
• Probabilistic configuration theories (Q2864526) (← links)
• (Q3475259) (← links)
• Derivation of a Suitable Finite Test Suite for Customized Probabilistic Systems (Q3613092) (← links)
• Validation of Stochastic Systems (Q5325835) (← links)