Romanian Journal of Information Science and Technology (ROMJIST)

An open – access publication

  |  HOME  |   GENERAL INFORMATION  |   ROMJIST ON-LINE  |  KEY INFORMATION FOR AUTHORS  |   COMMITTEES  |  

ROMJIST is a publication of Romanian Academy,
Section for Information Science and Technology

Editor – in – Chief:
Radu-Emil Precup

Honorary Co-Editors-in-Chief:
Horia-Nicolai Teodorescu
Gheorghe Stefan

Secretariate (office):
Adriana Apostol
Adress for correspondence: romjist@nano-link.net (after 1st of January, 2019)

Founding Editor-in-Chief
(until 10th of February, 2021):
Dan Dascalu

Editing of the printed version: Mihaela Marian (Publishing House of the Romanian Academy, Bucharest)

Technical editor
of the on-line version:
Lucian Milea (University POLITEHNICA of Bucharest)

Sponsor:
• National Institute for R & D
in Microtechnologies
(IMT Bucharest), www.imt.ro

ROMJIST Volume 29, No. 1, 2026, pp. 65-76, DOI: 10.59277/ROMJIST.2026.1.06
 

Bogdan AMAN, Gabriel CIOBANU
Behavioural Equivalences in Timed Reactive Systems

ABSTRACT: 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

Read full text (pdf)






  |  HOME  |   GENERAL INFORMATION  |   ROMJIST ON-LINE  |  KEY INFORMATION FOR AUTHORS  |   COMMITTEES  |