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