eprintid: 397
rev_number: 10
eprint_status: archive
userid: 32
dir: disk0/00/00/03/97
datestamp: 2011-05-24 13:21:52
lastmod: 2011-07-11 14:36:27
status_changed: 2011-05-24 13:21:52
type: thesis
metadata_visibility: show
item_issues_count: 0
creators_name: De Nicola, Rocco
creators_id: r.denicola@imtlucca.it
title: Testing Equivalences and Fully Abstract Models for Communicating Processes
ispublished: pub
subjects: QA75
divisions: CSA
full_text_status: public
date: 1985-11
date_type: published
pages: 213
institution: University of Edinburgh
department: Department of Computer Science
thesis_type: phd
citation:   De Nicola, Rocco  Testing Equivalences and Fully Abstract Models for Communicating Processes.  PhD Thesis thesis, University of Edinburgh.    (1985)  
document_url: http://eprints.imtlucca.it/397/1/PhDThesis_DeNicola.pdf