The Real-Time Process Algebra (RTPA)
Annals of Software Engineering
Is Timed Branching Bisimilarity a Congruence Indeed?
Fundamenta Informaticae
On mathematical laws of software
Transactions on computational science II
Is timed branching bisimilarity an equivalence indeed?
FORMATS'05 Proceedings of the Third international conference on Formal Modeling and Analysis of Timed Systems
Is Timed Branching Bisimilarity a Congruence Indeed?
Fundamenta Informaticae
An Axiomatization for Regular Processes in Timed Branching Bisimulation
Fundamenta Informaticae
| Hi-index | 0.00 |