The following pages link to Chris Tofts (Q688414):
Displayed 16 items.
- (Q204606) (redirect page) (← links)
- Algorithms for task allocation in ants. (A study of temporal polyethism: Theory) (Q688415) (← links)
- A calculus and logic of resources and processes (Q855007) (← links)
- Population dynamics under parasitic sex ratio distortion (Q1303988) (← links)
- Processes with probabilities, priority and time (Q1343865) (← links)
- Errata for ``A calculus and logic of resources and processes'' and their consequences (Q2461539) (← links)
- (Q2767986) (← links)
- Systems Modelling via Resources and Processes: Philosophy, Calculus, Semantics, and Logic (Q2864163) (← links)
- Relating operational and denotational descriptions of πDemos (Q3125905) (← links)
- Exact, analytic, and locally approximate solutions to discrete event-simulation problems (Q4244540) (← links)
- Traffic Modelling and Probabilistic Process Abstraction (Q4328969) (← links)
- A denotational semantics for a process-based simulation language (Q4510531) (← links)
- Getting Demos models right. (I). Practice (Q4787128) (← links)
- Getting Demos models right. (II) … and theory (Q4787129) (← links)
- Behavioural abstraction in TCCS (Q5204347) (← links)
- Symbolic approaches to probability distributions in process algebra (Q5944220) (← links)