Theories for the Global Ubiquitous Computer

Robin Milner

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

Abstract / Description of output

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
Pages5-11
Number of pages7
Volume2987
ISBN (Electronic)978-3-540-24727-2
ISBN (Print)978-3-540-21298-0
DOIs
Publication statusPublished - 2004

Fingerprint

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

Cite this