Complete Proof Systems for Observation Congruences in FiniteControl Pi-calculusUnique fixpoint induction for mobile processes
