dc.contributor.author | Baillie, E.J. | |
dc.date.accessioned | 2010-07-21T13:25:15Z | |
dc.date.available | 2010-07-21T13:25:15Z | |
dc.date.issued | 1992 | |
dc.identifier.citation | Baillie , E J 1992 , Towards a satisfaction relation between CCS specifications and their refinements . UH Computer Science Technical Report , vol. 152 , University of Hertfordshire . | |
dc.identifier.other | dspace: 2299/4683 | |
dc.identifier.uri | http://hdl.handle.net/2299/4683 | |
dc.description | A thesis submitted in partial fulfilment of the requirements of the University of Hertfordshire for the degree of Doctor of Philosophy. | |
dc.description.abstract | The thesis is concerned with the application and applicability of CCS and, in particular, the problem of establishing a satisfaction relation between specifications and their refinements in CCS. The problems encountered arise from the instability which in general results when agents are composed and certain actions restricted. Bisimulation proves to be elusive in the presence of leading r's in an expansion. Testing equivalence, the conjunction of may and must equivalences, is investigated. May testing is unaffected by either divergence or internal nondeterminism; must testing is affected by both. This is similarly hard to establish. | en |
dc.format.extent | 15428103 | |
dc.language.iso | eng | |
dc.publisher | University of Hertfordshire | |
dc.relation.ispartofseries | UH Computer Science Technical Report | |
dc.title | Towards a satisfaction relation between CCS specifications and their refinements | en |
dc.contributor.institution | School of Computer Science | |
dc.contributor.institution | Centre for Computer Science and Informatics Research | |
rioxxterms.type | Other | |
herts.preservation.rarelyaccessed | true | |