Please use this identifier to cite or link to this item:
http://hdl.handle.net/11375/18319
Title: | Modeling Concurrency with Interval Traces |
Authors: | Yin, Xiang |
Advisor: | Ryszard, Janicki |
Department: | Computing and Software |
Keywords: | Mazurkiewicz traces;Comtraces;interval traces;stratified order structures;interval order structures;inhibitor nets |
Publication Date: | Nov-2015 |
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. |
URI: | http://hdl.handle.net/11375/18319 |
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.