We study the equational theory of Timed CCS as proposed by Wang Yi in CONCUR’90. Common to Wang Yi’s paper, we particularly focus on a class of linearly-ordered time domains ex...
Projects involving technology are notoriously dogged with difficulties and a number of lessons can be learned. Rather than detail examples from particular TEL projects, the author ...
A web site presents a graph–like spatial structure composed of pages connected by hyperlinks. This structure may represent an environment in which situated agents associated to v...
Abstract. This paper deals with a compact catadioptric omnidirectional stereovision system based on a single camera and multi-mirrors (at least two mirrors). Many configurations w...
Many electronic systems would benefit from the inclusion of self-regulatory mechanisms. We strive to build systems that can predict, or be aware of, imminent threats upon their sp...
Nick D. L. Owens, Jonathan Timmis, Andrew J. Green...