Spatially Induced Independence and Concurrency within Presheaves of Labelled Transition Systems
In this thesis, we demonstrate how presheaves of labelled transition systems (LTS) acquire a very natural form of spatially induced independence on their actions when we allow a minimal amount of gluing on selected transitions within such systems. This gluing condition is characterized in the new mo...
| Main Author: | |
|---|---|
| Other Authors: | |
| Language: | en |
| Published: |
Université d'Ottawa / University of Ottawa
2015
|
| Subjects: | |
| Online Access: | http://hdl.handle.net/10393/33137 http://dx.doi.org/10.20381/ruor-4085 |