relation: http://eprints.imtlucca.it/397/
title: Testing Equivalences and Fully Abstract Models for Communicating Processes
creator: De Nicola, Rocco
subject: QA75 Electronic computers. Computer science
date: 1985-11
type: Thesis
type: NonPeerReviewed
format: application/pdf
language: en
identifier: http://eprints.imtlucca.it/397/1/PhDThesis_DeNicola.pdf
identifier:   De Nicola, Rocco  Testing Equivalences and Fully Abstract Models for Communicating Processes.  PhD Thesis thesis, University of Edinburgh.    (1985)