The following pages link to Divergence and fair testing (Q4645218):
Displayed 23 items.
- Trace- and failure-based semantics for responsiveness (Q478516) (← links)
- Theory of interaction (Q896903) (← links)
- Relating fair testing and accordance for service replaceability (Q974133) (← links)
- Closures of may-, should- and must-convergences for contextual equivalence (Q991760) (← links)
- Basic observables for processes (Q1286368) (← links)
- Impossible futures and determinism (Q1607117) (← links)
- On the validity of encodings of the synchronous in the asynchronous \(\pi\)-calculus (Q1641151) (← links)
- On the representation of McCarthy's \(amb\) in the \(\pi\)-calculus (Q1763728) (← links)
- A hierarchy of equivalences for asynchronous calculi (Q1772314) (← links)
- Fair simulation (Q1854506) (← links)
- Ensuring liveness properties of distributed systems: open problems (Q2011206) (← links)
- Separation of synchronous and asynchronous communication via testing (Q2465029) (← links)
- A Logical Process Calculus (Q2842601) (← links)
- Fair Π (Q2866341) (← links)
- Synchrony vs Asynchrony in Communication Primitives (Q2866346) (← links)
- Basic observables for processes (Q4571979) (← links)
- Structural Rewriting in the pi-Calculus. (Q5240137) (← links)
- Observing Success in the Pi-Calculus (Q5240185) (← links)
- An introduction to metric semantics: Operational and denotational models for programming and specification languages (Q5941193) (← links)
- Divergence in testing and readiness semantics (Q5958758) (← links)
- Fair simulation (Q6044123) (← links)
- Just testing (Q6091214) (← links)
- Fair must testing for I/O automata (Q6163902) (← links)