Is Timed Branching Bisimilarity a Congruence Indeed?
Fundamenta Informaticae
Timed Delay Bisimulation is an Equivalence Relation for Timed Transition Systems
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P)
Formal Verification of Timed Systems Using Cones and Foci
Electronic Notes in Theoretical Computer Science (ENTCS)
Is timed branching bisimilarity an equivalence indeed?
FORMATS'05 Proceedings of the Third international conference on Formal Modeling and Analysis of Timed Systems
A categorical view of timed weak bisimulation
TAMC'10 Proceedings of the 7th annual conference on Theory and Applications of Models of Computation
Timed Delay Bisimulation is an Equivalence Relation for Timed Transition Systems
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P)
Is Timed Branching Bisimilarity a Congruence Indeed?
Fundamenta Informaticae
An Axiomatization for Regular Processes in Timed Branching Bisimulation
Fundamenta Informaticae
| Hi-index | 0.00 |