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 1 |
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 |