Rance Cleaveland;Gerald Lüttgen;V. Natarajan
-;-;-
A Complete Axiomatization for Observational Congruence of Prioritized Finite-State Behaviors
ICALP '00 Proceedings of the 27th International Colloquium on Automata, Languages and Programming