Utilize este identificador para referenciar este registo:
https://hdl.handle.net/1822/11446| Título: | A fibration category of local pospaces |
| Autor(es): | Kahl, Thomas |
| Palavras-chave: | Local pospaces Dihomotopy Concurrency Fibration category Model category |
| Data: | 2009 |
| Editora: | Elsevier |
| Revista: | Electronic Notes in Theoretical Computer Science |
| Citação: | GOUBAULT, E., ed. lit. – “Workshops on Geometric and Topological Methods in Concurrency Theory (GETCO 2004-2006) : proceedings, Bonn, Germany, 2006”. [S.l. : Elsevier, 2009]. p. 129-140. |
| Resumo(s): | L. Fajstrup, E. Goubault, and M. Raussen have introduced local pospaces as a model for concurrent systems. In this paper it is shown that the category of local pospaces under a fixed local pospace is a fibration category in the sense of H. Baues. The homotopy notion in this fibration category is relative directed homotopy. |
| Tipo: | Artigo |
| URI: | https://hdl.handle.net/1822/11446 |
| DOI: | 10.1016/j.entcs.2009.02.021 |
| ISSN: | 1571-0661 |
| Versão da editora: | http://www.sciencedirect.com/science/article/pii/S1571066109000267 |
| Arbitragem científica: | yes |
| Acesso: | Acesso aberto |
| Aparece nas coleções: |
Ficheiros deste registo:
| Ficheiro | Descrição | Tamanho | Formato | |
|---|---|---|---|---|
| LPS.pdf | Documento principal | 195,68 kB | Adobe PDF | Ver/Abrir |
