Riadh, Matmat; Ilham, Kitouni; Eddine, Saidouni Djamel - In: International Journal of Distributed Systems and … 7 (2016) 3, pp. 21-41
approach and they define timed maximality bisimulation relation for real-time model based on the maximality semantics. The …
