CSP for coordination of distributed systems
Nicolae-Emanuel Marinica, Rene K. Boel · Ghent University Academic Bibliography (Ghent University) · 2011
A distributed system consists of many interacting components, each controlled by a local control agent. Agents can communicate in order to solve a common goal. The aim of this paper is to analyse the coordination control of simple interacting components, interconnected in a network, that form distributed system. A good example of such systems are the urban traffic networks, with local agents setting the switching time of traffic lights.