ICALP
1998
Springer
Checking Strong/Weak Bisimulation Equivalences and Observation Congruence for the pi-Calculus
14 years 22 days ago
Zhoujun Li, Huowang Chen
Added |
05 Aug 2010 |
Updated |
05 Aug 2010 |
Type |
Conference |
Year |
1998 |
Where |
ICALP |
Authors |
Zhoujun Li, Huowang Chen |
Comments (0)