Loading...
Abstract
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 answer is "no", whereas state-based definitions of determinism can reasonably be construed as giving the answer "yes". In order to unify what we see as discrepancies in state- and action-based notions of determinism we will consider process algebras over two sets of actions: the active or casual actions of the robot and the passive or reactive actions of the vending machine. In addition we will add priority to the actions and when two Ï„ actions are possible then the Ï„ action with the highest priority will be executed.
Type
Working Paper
Type of thesis
Series
Computer Science Working Papers
Citation
Reeves, S. & Streader, D. (2004). Unifying state and process determinism. (Working paper 02/2004). Hamilton, New Zealand: University of Waikato, Department of Computer Science.
Date
2004-02
Publisher
University of Waikato, Department of Computer Science