Sciweavers

ICALP
1998
Springer

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

13 years 8 months ago
Complete Proof Systems for Observation Congruences in Finite-Control pi-Calculus
Huimin Lin
Added 05 Aug 2010
Updated 05 Aug 2010
Type Conference
Year 1998
Where ICALP
Authors Huimin Lin
Comments (0)