A REACTIVE COMPUTER SYSTEM

摘要

A reactive computer system and a method of programming such a system is described in which physical events are modelled as an input process and an output, active process with constraints on the inputs and outputs of each of the processes.