Loading...
Thumbnail Image
Item

Unifying state and process determinism

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
Degree
Supervisors
Rights