• Admin
    UC Research Repository
    View Item 
       
    • UC Home
    • Library
    • UC Research Repository
    • College of Engineering
    • Engineering: Reports
    • View Item
       
    • UC Home
    • Library
    • UC Research Repository
    • College of Engineering
    • Engineering: Reports
    • View Item
    JavaScript is disabled for your browser. Some features of this site may not work without it.

    Browse

    All of the RepositoryCommunities & CollectionsBy Issue DateAuthorsTitlesSubjectsThis CollectionBy Issue DateAuthorsTitlesSubjects

    Statistics

    View Usage Statistics

    Resource Structures as a Model of Concurrency

    Thumbnail
    View/Open
    hopkins_report.pdf (1.093Mb)
    Author
    Hopkins, Jane Bridget
    Date
    1996
    Permanent Link
    http://hdl.handle.net/10092/9316
    Degree Grantor
    University of Canterbury
    Degree Name
    Bachelor of Science with Honours

    In 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 Mathematics
    Collections
    • Engineering: Reports [684]
    Rights
    http://library.canterbury.ac.nz/thesis/etheses_copyright.shtml

    UC Research Repository
    University Library
    University of Canterbury
    Private Bag 4800
    Christchurch 8140

    Phone
    364 2987 ext 8718

    Email
    ucresearchrepository@canterbury.ac.nz

    Follow us
    FacebookTwitterYoutube

    © University of Canterbury Library
    Send Feedback | Contact Us