Process Algebras in the Age of Ubiquitous Computing

We discuss why process theories are such an enchanting field, motivated by intriguing questions rather than immediate engineering needs. We also consider one way to use the resulting understanding in the context of so-called ubiquitous computing.