A Calculus of Mobility and Communication for Ubiquitous Computing
We propose a Calculus of Mobility and Communication (CMC) for the modelling of mobility, communication and context-awareness in the setting of ubiquitous computing. CMC is an ambient calculus with the in and out capabilities of Cardelli and Gordon's Mobile Ambients. The calculus has a new form...
| Главный автор: | |
|---|---|
| Формат: | Статья |
| Язык: | English |
| Опубликовано: |
Open Publishing Association
2015-08-01
|
| Серии: | Electronic Proceedings in Theoretical Computer Science |
| Online-ссылка: | http://arxiv.org/pdf/1508.03908v1 |