Djamel Eddine Saïdouni

Contextual time reasoning for mobile ambient agents

2016 · International Journal of Wireless and Mobile Computing

The Time-AgLOTOS algebraic language and its true concurrency semantics proposed in this paper provide a theoretical foundation to develop on-the-fly planning of actions to be executed under timing constraints. We first show how to produce …