The following pages link to Basic observables for processes (Q1286368):
Displaying 10 items.
- Trace- and failure-based semantics for responsiveness (Q478516) (← links)
- Fair testing (Q865623) (← links)
- Theory of interaction (Q896903) (← links)
- A calculus for collective-adaptive systems and its behavioural theory (Q2272994) (← links)
- Bisimulation and coinduction enhancements: a historical perspective (Q2280213) (← links)
- Basic observables for a calculus for global computing (Q2384924) (← links)
- Separation of synchronous and asynchronous communication via testing (Q2465029) (← links)
- (Q2842870) (← links)
- Branching vs. Linear Time: Semantical Perspective (Q3510781) (← links)
- Divergence in testing and readiness semantics (Q5958758) (← links)
