Skip to main content
University of Oxford Department of Computer Science
- Home
- Research
- Publications
- Card games as pointer structures: case studies in mobile CSP modelling
Card games as pointer structures: case studies in mobile CSP modelling
A.W. Roscoe