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

Publiceret: 2001-02-08

Artikler