Reeves, Steve; Streader, David
(University of Waikato, Department of Computer Science, 2004)
If a coin is given to a deterministic robot that interacts with a deterministic vending machine then is the drink that the robot is delivered determined? Using process definitions of determinism from CSP, CCS or ACP the ...