There is a sustained trend to embed computer systems in all kinds of intelligent products. Increasing emphasis is given to enhance the functionality of such systems beyond the pro...
We propose a type system for lock-freedom in the -calculus, which guarantees that certain communications will eventually succeed. Distinguishing features of our type system are: it...
While being very successful in everyday life, GPSbased localization systems exhibit limited performance under trees, behind walls, and in closed rooms, and sometimes induce costs ...