A Complete Axiomatization for Observational Congruence of Prioritized Finite-State Behaviors.

Mario Bravetti, Roberto Gorrieri

Browse the full ICALP paper archive.