Please use this identifier to cite or link to this item:
http://hdl.handle.net/11375/18319
Full metadata record
DC Field | Value | Language |
---|---|---|
dc.contributor.advisor | Ryszard, Janicki | - |
dc.contributor.author | Yin, Xiang | - |
dc.date.accessioned | 2015-09-30T13:38:18Z | - |
dc.date.available | 2015-09-30T13:38:18Z | - |
dc.date.issued | 2015-11 | - |
dc.identifier.uri | http://hdl.handle.net/11375/18319 | - |
dc.description.abstract | When system runs are modeled with interval orders, interval order structures are useful tools to model abstract concurrent histories, i.e. sets of equivalent system runs. For the general cases, Mazurkiewicz traces allow a representation of the entire partial order by a single sequence with independency relations, and Comtraces allow a representation of stratified order structures by single step sequences with appropriate simultaneity and serializability relations. Unfortunately, both of them are unable to clearly describe the abstract interval order semantics of inhibitor nets. The goal of the thesis is to provide a monoid based model called Interval Traces that would allow a single sequence of beginnings and endings to represent the entire stratified order structures as well as all equivalent interval order observations. And the thesis will also show how interval order structures can be modelled by interval traces and how interval traces can be used to describe interval order semantics. | en_US |
dc.language.iso | en | en_US |
dc.subject | Mazurkiewicz traces | en_US |
dc.subject | Comtraces | en_US |
dc.subject | interval traces | en_US |
dc.subject | stratified order structures | en_US |
dc.subject | interval order structures | en_US |
dc.subject | inhibitor nets | en_US |
dc.title | Modeling Concurrency with Interval Traces | en_US |
dc.type | Thesis | en_US |
dc.contributor.department | Computing and Software | en_US |
dc.description.degreetype | Thesis | en_US |
dc.description.degree | Doctor of Philosophy (PhD) | en_US |
Appears in Collections: | Open Access Dissertations and Theses |
Files in This Item:
File | Description | Size | Format | |
---|---|---|---|---|
thesis-Xiang Yin.pdf | PhD Thesis | 735.88 kB | Adobe PDF | View/Open |
Items in MacSphere are protected by copyright, with all rights reserved, unless otherwise indicated.