Logo eprints

Testing Equivalences and Fully Abstract Models for Communicating Processes

De Nicola, Rocco Testing Equivalences and Fully Abstract Models for Communicating Processes. PhD Thesis thesis, University of Edinburgh. (1985)

[img]
Preview
 PDF - Accepted Version
Download (3MB) | Preview
Item Type: Thesis (PhD Thesis)
Subjects: Q Science > QA Mathematics > QA75 Electronic computers. Computer science
Research Area: Computer Science and Applications
Depositing User: Rocco De Nicola
Date Deposited: 24 May 2011 13:21
Last Modified: 11 Jul 2011 14:36
URI: http://eprints.imtlucca.it/id/eprint/397

Actions (login required)

Edit Item Edit Item
EPrints Logo
IMT Institutional Repository is powered by EPrints 3 which is developed by the School of Electronics and Computer Science at the University of Southampton. More information and software credits.