Testing equivalences and fully abstract models for communication processes
dc.contributor.author
De Nicola, Rocco
en
dc.date.accessioned
2016-10-07T08:08:03Z
dc.date.available
2016-10-07T08:08:03Z
dc.date.issued
1986
dc.description.abstract
en
dc.identifier.uri
http://hdl.handle.net/1842/16979
dc.publisher
The University of Edinburgh
en
dc.relation.ispartof
KB thesis scanning project 2015
en
dc.relation.isreferencedby
en
dc.title
Testing equivalences and fully abstract models for communication processes
en
dc.type
Thesis or Dissertation
en
dc.type.qualificationlevel
Doctoral
en
dc.type.qualificationname
PhD Doctor of Philosophy
en
Files
Original bundle
1 - 1 of 1
- Name:
- DeNicola1986_redux.pdf
- Size:
- 59.25 MB
- Format:
- Adobe Portable Document Format
This item appears in the following Collection(s)