Fundamenta Informaticae
Bialgebraic Modelling of Timed Processes
ICALP '02 Proceedings of the 29th International Colloquium on Automata, Languages and Programming
Embedding untimed into timed process algebra: the case for explicit termination
Mathematical Structures in Computer Science
Fundamenta Informaticae
Hi-index | 0.00 |