The following pages link to Receptive process theory (Q758200):
Displaying 10 items.
- An algebraic theory of interface automata (Q402131) (← links)
- Metrics for labelled Markov processes (Q596029) (← links)
- A process algebraic view of input/output automata (Q674195) (← links)
- Modelling and verification of delay-insensitive circuits using CCS and the concurrency workbench (Q1029101) (← links)
- Quiescence, fairness, testing, and the notion of implementation (Q1376423) (← links)
- Delay-insensitivity and ternary simulation (Q1575731) (← links)
- The name discipline of uniform receptiveness (Q1960533) (← links)
- Handshake games (Q2864210) (← links)
- Recent Developments in the Theory of Pre-processing (Q3004648) (← links)
- The inhibition spectrum and the achievement of causal consistency (Q5137324) (← links)
