Resource Structures as a Model of Concurrency

View/ Open
Author
Hopkins, Jane Bridget
Date
1996Permanent Link
http://hdl.handle.net/10092/9316Degree Grantor
University of CanterburyDegree Name
Bachelor of Science with HonoursIn this report, we introduce a model of concurrency based on event structures which we call resource structures. We show how these structures can model concepts relating to resource management such as resource contention, generation and consumption. Various constructors are also presented which are useful for specifying complex resource structures as the composition of several smaller substructures. Like event structures, resource structures have an underlying transition system which can be used to define a notion of equivalence. Using this equivalence, we then present several properties satisfied by the constructors such as commutative, distributive and unit laws.
Subjects
Field of Research::08 - Information and Computing Sciences::0802 - Computation Theory and MathematicsCollections
- Engineering: Reports [684]