Pages that link to "Item:Q1348526"
From MaRDI portal
The following pages link to Testing equivalences for processes (Q1348526):
Displayed 25 items.
- Strategies as concurrent processes (Q283745) (← links)
- Name-passing calculi: from fusions to preorders and types (Q342734) (← links)
- Conflict-preserving abstraction of discrete event systems using annotated automata (Q351736) (← links)
- Behavioural equivalences of a probabilistic pi-calculus (Q362281) (← links)
- A uniform framework for modeling nondeterministic, probabilistic, stochastic, or mixed processes and their behavioral equivalences (Q384933) (← links)
- A process algebra framework for multi-scale modelling of biological systems (Q388145) (← links)
- Deciding equivalence-based properties using constraint solving (Q391121) (← links)
- On real reward testing (Q407446) (← links)
- Connectors as designs: modeling, refinement and test case generation (Q433336) (← links)
- First-order reasoning for higher-order concurrency (Q456466) (← links)
- A ground-complete axiomatization of stateless bisimilarity over Linda (Q477631) (← links)
- Test selection for traces refinement (Q481094) (← links)
- An algebraic theory for web service contracts (Q493534) (← links)
- Contexts, refinement and determinism (Q541213) (← links)
- A randomized encoding of the \(\pi\)-calculus with mixed choice (Q555750) (← links)
- Measuring the confinement of probabilistic systems (Q557887) (← links)
- Modal logics for communicating systems (Q578896) (← links)
- Step failures semantics and a complete proof system (Q582133) (← links)
- Bisimulation on speed: Worst-case efficiency (Q598200) (← links)
- A taxonomy of process calculi for distribution and mobility (Q660996) (← links)
- Modelling causality via action dependencies in branching time semantics (Q671596) (← links)
- Deciding observational congruence of finite-state CCS expressions by rewriting (Q673974) (← links)
- Model-based testing of probabilistic systems (Q682363) (← links)
- Universal axioms for bisimulations (Q685411) (← links)
- A logical view of composition (Q685416) (← links)