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