Theories for the global ubiquitous computer. Bulletin of thew European Association for Theortical Computer Science (2004)

by M Kwiatkowska, R Milner, V Sassone