Sangiorgi, Davide. Walker, David.
Pi-Calculus : Theory of Mobile Processes - Cambridge CUP 2001 - 580
0-521-78177-9
Pi-Calculus
681.3 SAN
Pi-Calculus : Theory of Mobile Processes - Cambridge CUP 2001 - 580
0-521-78177-9
Pi-Calculus
681.3 SAN