Some collapsing operations for 2-dimensional precubical sets
In this paper, we consider 2-dimensional precubical sets, which can be used to model systems of two concurrently executing processes. From the point of view of concurrency theory, two precubical sets can be considered equivalent if their geometric realizations have the same directed homotopy type re...
| Main Author: | |
|---|---|
| Format: | article |
| Language: | eng |
| Published: |
2012
|
| Subjects: | |
| Online Access: | http://hdl.handle.net/1822/21116 |
| Country: | Portugal |
| Oai: | oai:repositorium.sdum.uminho.pt:1822/21116 |