{"id":{"repo_id":"waikato-masters","oai_identifier":"oai:researchcommons.waikato.ac.nz:10289/8545"},"canonical_url":"https://search.dev.ndltd.org/etd/waikato-masters/oai:researchcommons.waikato.ac.nz:10289/8545","repository":{"repo_id":"waikato-masters","name":"University Waikato","base_url":"https://researchcommons.waikato.ac.nz/server/oai/request"},"display":{"title":"On Conflicts in Concurrent Systems","abstract":"This 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.","abstract_html":"This 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.","abstract_has_math":false,"creators":["Ware, Simon"],"institution":"University of Waikato","degree_name":null,"degree_level":null,"degree_discipline":null,"degree_department":null,"school":null,"contributors":[],"advisors":["Reeves, Steve","Malik, Robi"],"committee_chairs":[],"committee_members":[],"year":2014,"date_issued":"2014","date_published":"2014","updated_at":"2026-07-24T05:57:41Z","subjects":["Discrete Event Systems","Nonblocking","Liveness Properties","Abstraction"],"languages":[],"rights":["All items in Research Commons are provided for private study and research purposes and are protected by copyright with all rights reserved unless otherwise indicated."],"rights_urls":["https://researchcommons.waikato.ac.nz/bitstreams/ae267763-668c-46fa-a61d-2078ef58d4c5/download"],"identifier_entries":[]},"links":{"outbound_url":null,"outbound_label":null,"outbound_source":null},"metadata_groups":[{"id":"people","label":"People","entries":[{"key":"dc:contributor.advisor","label":"Advisor","values":["Reeves, Steve","Malik, Robi"]},{"key":"dc:creator","label":"Author","values":["Ware, Simon"]}]},{"id":"academic_context","label":"Academic Context","entries":[{"key":"dc:date.issued","label":"Date","values":["2014"]},{"key":"dc:publisher.institution","label":"Dc Publisher Institution","values":["University of Waikato"]},{"key":"dc:relation.isreferencedby","label":"Dc Relation Isreferencedby","values":["https://hdl.handle.net/10289/8545"]},{"key":"dc:type","label":"Dc Type","values":["Thesis"]}]},{"id":"subjects_keywords","label":"Subjects and Keywords","entries":[{"key":"dc:subject","label":"Dc Subject","values":["Discrete Event Systems","Nonblocking","Liveness Properties","Abstraction"]}]},{"id":"language_rights","label":"Language and Rights","entries":[{"key":"dc:rights","label":"Dc Rights","values":["https://researchcommons.waikato.ac.nz/bitstreams/ae267763-668c-46fa-a61d-2078ef58d4c5/download","All items in Research Commons are provided for private study and research purposes and are protected by copyright with all rights reserved unless otherwise indicated."]}]},{"id":"identifiers","label":"Identifiers","entries":[{"key":"dc:identifier.uri","label":"Identifier URI","values":["https://researchcommons.waikato.ac.nz/bitstreams/45936154-04d5-4bf6-892e-faedc221d49f/download"]}]},{"id":"additional","label":"Additional Metadata","entries":[{"key":"dc:description.abstract","label":"Abstract","values":["This 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."]},{"key":"dc:format.checksum.md5","label":"Dc Format Checksum Md5","values":["a25a394354c9b37203b92492931d3c41","54ddfaae9e939fb9fe062bd0161afbd5","3ec39b0a493bd0cabdfe5766b31e54f4"]},{"key":"dc:title","label":"Title","values":["On Conflicts in Concurrent Systems"]}]}],"canonical_facts":{"dc:contributor.advisor":["Reeves, Steve","Malik, Robi"],"dc:creator":["Ware, Simon"],"dc:date.issued":["2014"],"dc:description.abstract":["This 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.checksum.md5":["a25a394354c9b37203b92492931d3c41","54ddfaae9e939fb9fe062bd0161afbd5","3ec39b0a493bd0cabdfe5766b31e54f4"],"dc:identifier.uri":["https://researchcommons.waikato.ac.nz/bitstreams/45936154-04d5-4bf6-892e-faedc221d49f/download"],"dc:publisher.institution":["University of Waikato"],"dc:relation.isreferencedby":["https://hdl.handle.net/10289/8545"],"dc:rights":["https://researchcommons.waikato.ac.nz/bitstreams/ae267763-668c-46fa-a61d-2078ef58d4c5/download","All 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:subject":["Discrete Event Systems","Nonblocking","Liveness Properties","Abstraction"],"dc:title":["On Conflicts in Concurrent Systems"],"dc:type":["Thesis"]},"updated_at":"2026-07-24T05:57:41Z"}