%D 1985
%T Testing Equivalences and Fully Abstract Models for Communicating Processes
%I University of Edinburgh
%L eprints397
%A Rocco De Nicola