Pages that link to "Item:Q1104076"
From MaRDI portal
The following pages link to Trace, failure and testing equivalences for communicating processes (Q1104076):
Displaying 18 items.
- Trace- and failure-based semantics for responsiveness (Q478516) (← links)
- Refusal testing (Q580961) (← links)
- Observation equivalence as a testing equivalence (Q580965) (← links)
- The weakest deadlock-preserving congruence (Q673911) (← links)
- Determinacy \(\to\) (observation equivalence \(=\) trace equivalence) (Q1061481) (← links)
- On an effective hierarchy of communicating processes: Separation principle and testing (Q1269918) (← links)
- Basic observables for processes (Q1286368) (← links)
- Testing equivalences for processes (Q1348526) (← links)
- Equivalence is in the eye of the beholder (Q1391750) (← links)
- Trace and testing equivalence on asynchronous processes (Q1854499) (← links)
- Power simulation and its relation to traces and failures refinement (Q1884900) (← links)
- Compositional failure-based semantic models for basic LOTOS (Q1903079) (← links)
- All congruences below stability-preserving fair testing or CFFD (Q2182664) (← links)
- Removing redundant refusals: minimal complete test suites for failure trace semantics (Q2687991) (← links)
- A logical process calculus (Q2842601) (← links)
- Branching vs. Linear Time: Semantical Perspective (Q3510781) (← links)
- (Q3680258) (← links)
- Basic observables for processes (Q4571979) (← links)