Information and Computation
A Complete Axiomatization for Observational Congruence of Prioritized Finite-State Behaviors
ICALP '00 Proceedings of the 27th International Colloquium on Automata, Languages and Programming
Comparing the Efficiency of Asynchronous Systems
ARTS '99 Proceedings of the 5th International AMAST Workshop on Formal Methods for Real-Time and Probabilistic Systems
A real-time process algebra with open intervals and maximal progress
Nordic Journal of Computing
Bisimulation on speed: worst-case efficiency
Information and Computation
Bisimulation on speed: a unified approach
Theoretical Computer Science
Hi-index | 5.23 |