On the Category of Event Structures with Dense Time
FCT '01 Proceedings of the 13th International Symposium on Fundamentals of Computation Theory
Open maps bisimulations for higher dimensional automata models
FCT'09 Proceedings of the 17th international conference on Fundamentals of computation theory
Bisimulation and Open Maps for Timed Transition Systems
Fundamenta Informaticae
Hi-index | 0.00 |