%0 Thesis %9 PhD Thesis %A De Nicola, Rocco %B Department of Computer Science %D 1985 %F eprints:397 %I University of Edinburgh %P 213 %T Testing Equivalences and Fully Abstract Models for Communicating Processes %U http://eprints.imtlucca.it/397/