A ubiquitous network is characterised by a large number of small computers embedded in our environment. Writing distributed applications for this kind of network can be a challenging task. Programming and re-programming each single device is not feasible; it is too time consuming, too costly and too error prone. We argue that a top-down approach to writing applications is useful. We propose a highlevel language that can specify a ubiquitous network’s global behaviour. A compiler can automatically generate device-level executables from this global specification.