No. 8 (2001): RS-8 Checking for Open Bisimilarity in the pi-Calculus

Published: 2001-02-08

Articles