Theories for the Global Ubiquitous Computer

Robin Milner

Research output: Chapter in Book/Report/Conference proceedingConference contribution


This paper describes an initiative to provide theories that can underlie the development of the Global Ubiquitous Computer, the network of ubiquitous computing devices that will pervade the civilised world in the course of the next few decades. We define the goals of the initiative and the criteria for judging whether they are achieved; we then propose a strategy for the exercise. It must combine a bottom-up development of theories in directions that are currently pursued with success, together with a top-down approach in the form of collaborative projects relating these theories to engineered systems that exist or are imminent.
Original languageEnglish
Title of host publicationFoundations of Software Science and Computation Structures
PublisherSpringer Berlin Heidelberg
Number of pages7
ISBN (Electronic)978-3-540-24727-2
ISBN (Print)978-3-540-21298-0
Publication statusPublished - 2004


Dive into the research topics of 'Theories for the Global Ubiquitous Computer'. Together they form a unique fingerprint.

Cite this