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

Publiceret: 1996-01-08

Artikler