TY  - THES
TI  - Testing Equivalences and Fully Abstract Models for Communicating Processes
EP  - 213
ID  - eprints397
AV  - public
PB  - University of Edinburgh
Y1  - 1985/11//
M1  - phd
UR  - http://eprints.imtlucca.it/397/
A1  - De Nicola, Rocco
ER  -