A Calculus for Context-Awareness

Authors

  • Pascal Zimmer

DOI:

https://doi.org/10.7146/brics.v12i27.21894

Abstract

In order to answer the challenge of pervasive computing, we propose a new process calculus, whose aim is to describe dynamic systems composed of agents able to move and react differently depending on their location. This Context-Aware Calculus features a hierarchical structure similar to mobile ambients, and a generic multi-agent synchronization mechanism, inspired from the join-calculus. After general ideas and introduction, we review the full calculus' syntax and semantics, as well as some motivating examples, study its expressiveness, and show how the notion of computation itself can be made context-dependent.

Downloads

Published

2005-08-11

How to Cite

Zimmer, P. (2005). A Calculus for Context-Awareness. BRICS Report Series, 12(27). https://doi.org/10.7146/brics.v12i27.21894