Relative directed homotopy theory of partially ordered spaces
Algebraic topological methods have been used successfully in concurrency theory, the domain of theoretical computer science that deals with parallel computing. L. Fajstrup, E. Goubault, and M. Raussen have introduced partially ordered spaces (pospaces) as a model for concurrent systems. In this pape...
| Main Author: | |
|---|---|
| Format: | article |
| Language: | eng |
| Published: |
2006
|
| Subjects: | |
| Online Access: | http://hdl.handle.net/1822/11175 |
| Country: | Portugal |
| Oai: | oai:repositorium.sdum.uminho.pt:1822/11175 |