Complete Proof Systems for Observation Congruences in Finite-Control pi-Calculus.

Huimin Lin

Browse the full ICALP paper archive.