No. 8 (1996): RS-8 Bisimulations for Asynchronous Mobile Processes

Published: 1996-01-08

Articles