A model for controlling program behaviour in pervasive networks

In an environment where devices and appliances with computational power are connected together, controlling the behaviour of programs that run in this network becomes important. Furthermore, the management of multiple programs executing on many devices needs to be kept under control, to ensure the safety and robustness of the wider system. We propose a programming language approach to handling this complexity, controlling the behaviour of programs using policy specifications.