Abstract
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.
Degree
thesis:*- Grantor dc:publisher.institution
- University of Waikato
- Year dc:date.issued
- 2014
Author and committee
dc:creator, dc:contributor.*- Author dc:creator
-
- Ware, Simon
- Advisors dc:contributor.advisor
-
- Reeves, Steve
- Malik, Robi
Subjects
dc:subject × 4Rights
dc:rights- Statement dc: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.