Testing equivalence for mobile processes. Tec. report SI-92/04, Dipartimento di Scienze dell'Informazione, Universit`a degli studi di Roma "La Sapienza (1992)

by M Boreale, R De Nicola