Show simple item record  

dc.contributor.advisorReeves, Steve
dc.contributor.advisorMalik, Robi
dc.contributor.authorWare, Simon
dc.date.accessioned2014-03-05T22:42:27Z
dc.date.available2014-03-05T22:42:27Z
dc.date.issued2014
dc.identifier.citationWare, S. I. (2014). On Conflicts in Concurrent Systems (Thesis, Doctor of Philosophy (PhD)). University of Waikato, Hamilton, New Zealand. Retrieved from https://hdl.handle.net/10289/8545en
dc.identifier.urihttps://hdl.handle.net/10289/8545
dc.description.abstractThis dissertation studies conflicts. A conflict is a bug in concurrent systems where one or more components of the system may potentially be blocked from completing their task. This dissertation investigates how nonconflicting completions may be used to characterise the situations in which individual components of a system may be in conflict with other components. The first major contributions of this dissertation are new methods of abstracting systems with respect to conflicts, and showing how these methods may be used to check whether a large system is conflict-free. The second contribution is a method of comparing whether one system is less susceptible to conflict than another. The last major contribution is a method of expressing all conflicts in a system in a finite and canonical way. The methods developed have applications for model checking, refinement, and the development of contracts for concurrent systems.
dc.format.mimetypeapplication/pdf
dc.language.isoen
dc.publisherUniversity of Waikato
dc.rightsAll items in Research Commons are provided for private study and research purposes and are protected by copyright with all rights reserved unless otherwise indicated.
dc.subjectDiscrete Event Systems
dc.subjectNonblocking
dc.subjectLiveness Properties
dc.subjectAbstraction
dc.titleOn Conflicts in Concurrent Systems
dc.typeThesis
thesis.degree.grantorUniversity of Waikato
thesis.degree.levelDoctoral
thesis.degree.nameDoctor of Philosophy (PhD)
dc.date.updated2014-03-05T22:19:23Z
pubs.place-of-publicationHamilton, New Zealanden_NZ


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record