A calculus of mobility and communication for ubiquitous computing
Ubiquitous computing makes various computing devices available throughout the physical setting. Ubiquitous computing devices are distributed and could be mobile, and interactions among them are concurrent and often depend on the location of the devices. Process calculi are formal models of concurren...
Main Author: | |
---|---|
Other Authors: | |
Published: |
University of Leicester
2015
|
Subjects: | |
Online Access: | http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.660077 |