Modelling Interaction in Virtual Environments using Process Algebra

Virtual environments (VEs) are often a complex mixture of novel and traditional user interface strategies, and also incorporate real-time dynam- ics and parallelism. We describe a modelling tech- nique we are developing, which is based on the process algebra CSP. It is shown how VE systems and tasks can be modelled in CSP, and how a pro- totype system can be generated from the system specication by mapping a subset of CSP signals onto user interface functionality.