.png){kind=icon}
.png){kind=icon}
Return
Behavioural Equivalences in Timed Reactive Systems
.png){kind=icon}
PRE
AI
B
G
DOI：10.59277/ROMJIST.2026.1.06.png)
.png){kind=icon}
Original request for help.png){kind=icon}
Share.png){kind=icon}
Save
Abstract
En 中文
This paper introduces a timed process calculus designed to model reactive systems that can dynamically adjust their spatial organization and communication structure. Authors' calculus, named rTIMO, facilitates timed agent migration between distributed locations, with explicit timers governing both communication and movement actions. New behavioural equivalence relations are proposed aiming at identifying behaviours that closely align with desired specifications. To illustrate this, the paper includes an example of resource-sensitive routing, in which a driver aims to reach a specific location. The calculus proposed in this paper provides a formal foundation for compositional reasoning about timed, mobile multi-agent systems.
Keywords:
Behavioural equivalence
distributed real-time systems
process calculi
Journal
R
IF:
3.9
Papers:
26
Citations:
442
Organization
Cited Papers