A Calculus for Context-Awareness

Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaperJournal articleResearch

  • Pascal Zimmer, Denmark
  • Department of Computer Science
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
Original languageEnglish
Book seriesB R I C S Report Series
Number of pages21
Publication statusPublished - 2005

    Research areas

  • Process calculus modelling context-awareness, CAC, RPC, Co-located multi-agent synchronization

See relations at Aarhus University Citationformats

ID: 653858