?url_ver=Z39.88-2004&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Adissertation&rft.au=De+Nicola%2C+Rocco&rft.aulast=De+Nicola&rft.aufirst=Rocco&rft.date=November+1985&rft.degree=PhD+Thesis&rft.tpages=213&rft.inst=University+of+Edinburgh&rft.title=Testing+Equivalences+and+Fully+Abstract+Models+for+Communicating+Processes