Goubault, Éric; Mimram, Samuel; Tasson, Christine Geometric and combinatorial views on asynchronous computability. (English) Zbl 1451.68046 Distrib. Comput. 31, No. 4, 289-316 (2018). MSC: 68M14 55U10 68M12 68M15 68Q55 PDF BibTeX XML Cite \textit{É. Goubault} et al., Distrib. Comput. 31, No. 4, 289--316 (2018; Zbl 1451.68046) Full Text: DOI Link OpenURL
Krishnan, Sanjeevi Cubical approximation for directed topology. I. (English) Zbl 1357.18002 Appl. Categ. Struct. 23, No. 2, 177-214 (2015). Reviewer: Philippe Gaucher (Paris) MSC: 18B99 55P99 PDF BibTeX XML Cite \textit{S. Krishnan}, Appl. Categ. Struct. 23, No. 2, 177--214 (2015; Zbl 1357.18002) Full Text: DOI arXiv OpenURL
Fajstrup, Lisbeth Erratum to ‘Dicovering spaces’. (English) Zbl 1216.57003 Homology Homotopy Appl. 13, No. 1, 403-406 (2011). MSC: 57M10 51H15 54E99 PDF BibTeX XML Cite \textit{L. Fajstrup}, Homology Homotopy Appl. 13, No. 1, 403--406 (2011; Zbl 1216.57003) Full Text: DOI EuDML Link OpenURL
Krishnan, Sanjeevi Criteria for homotopic maps to be so along monotone homotopies. (English) Zbl 1339.55018 Goubault, Eric (ed.), Proceedings of the workshops on geometric and topological methods in concurrency theory (GETCO 2004, 2005, 2006), Amsterdam, The Netherlands 2004, San Francisco, CA, USA 2005, Bonn, Germany 2006. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 230, 141-148 (2009). MSC: 55P99 06B35 68Q05 PDF BibTeX XML Cite \textit{S. Krishnan}, Electron. Notes Theor. Comput. Sci. 230, 141--148 (2009; Zbl 1339.55018) Full Text: DOI arXiv OpenURL
Kahl, Thomas A fibration category of local pospaces. (English) Zbl 1339.18007 Goubault, Eric (ed.), Proceedings of the workshops on geometric and topological methods in concurrency theory (GETCO 2004, 2005, 2006), Amsterdam, The Netherlands 2004, San Francisco, CA, USA 2005, Bonn, Germany 2006. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 230, 129-140 (2009). MSC: 18D30 55P99 68Q85 PDF BibTeX XML Cite \textit{T. Kahl}, Electron. Notes Theor. Comput. Sci. 230, 129--140 (2009; Zbl 1339.18007) Full Text: DOI OpenURL
Santocanale, Luigi On the join dependency relation in multinomial lattices. (English) Zbl 1129.06005 Order 24, No. 3, 155-179 (2007). Reviewer: Ali Madanshekaf (Semnan) MSC: 06B10 06D99 PDF BibTeX XML Cite \textit{L. Santocanale}, Order 24, No. 3, 155--179 (2007; Zbl 1129.06005) Full Text: DOI OpenURL
Raussen, Martin Invariants of directed spaces. (English) Zbl 1134.55009 Appl. Categ. Struct. 15, No. 4, 355-386 (2007). Reviewer: Philippe Gaucher (Paris) MSC: 55P99 18A32 55Q05 55U40 68N30 68Q85 PDF BibTeX XML Cite \textit{M. Raussen}, Appl. Categ. Struct. 15, No. 4, 355--386 (2007; Zbl 1134.55009) Full Text: DOI Link OpenURL
Goubault, E.; Haucourt, E. Components of the fundamental category. II. (English) Zbl 1131.55011 Appl. Categ. Struct. 15, No. 4, 387-414 (2007). Reviewer: Philippe Gaucher (Paris) MSC: 55U40 PDF BibTeX XML Cite \textit{E. Goubault} and \textit{E. Haucourt}, Appl. Categ. Struct. 15, No. 4, 387--414 (2007; Zbl 1131.55011) Full Text: DOI OpenURL
Raußen, Martin Deadlocks and dihomotopy in mutual exclusion models. (English) Zbl 1110.68089 Theor. Comput. Sci. 365, No. 3, 247-257 (2006). Reviewer: Jonathan Hodgson (Philadelphia) MSC: 68Q85 68Q45 55P99 PDF BibTeX XML Cite \textit{M. Raußen}, Theor. Comput. Sci. 365, No. 3, 247--257 (2006; Zbl 1110.68089) Full Text: DOI OpenURL
Gaucher, Philippe T-homotopy and refinement of observation. III. Invariance of the branching and merging homologies. (English) Zbl 1109.55010 New York J. Math. 12, 319-348 (2006). Reviewer: Jonathan Hodgson (Philadelphia) MSC: 55U35 55N99 55P99 68Q85 PDF BibTeX XML Cite \textit{P. Gaucher}, New York J. Math. 12, 319--348 (2006; Zbl 1109.55010) Full Text: arXiv EuDML Link OpenURL
Gaucher, Philippe T-homotopy and refinement of observation. IV. Invariance of the underlying homotopy type. (English) Zbl 1110.55011 New York J. Math. 12, 63-95 (2006). Reviewer: Jonathan Hodgson (Philadelphia) MSC: 55U35 55P99 68Q85 18G55 PDF BibTeX XML Cite \textit{P. Gaucher}, New York J. Math. 12, 63--95 (2006; Zbl 1110.55011) Full Text: arXiv EuDML Link OpenURL
Bubenik, Peter; Worytkiewicz, Krzysztof A model category for local po-spaces. (English) Zbl 1093.55007 Homology Homotopy Appl. 8, No. 1, 263-292 (2006). Reviewer: Jonathan Hodgson (Philadelphia) MSC: 55U35 55U10 18G55 18F10 06A99 68Q55 68Q85 PDF BibTeX XML Cite \textit{P. Bubenik} and \textit{K. Worytkiewicz}, Homology Homotopy Appl. 8, No. 1, 263--292 (2006; Zbl 1093.55007) Full Text: DOI arXiv Link OpenURL
Gaucher, Philippe Inverting weak dihomotopy equivalence using homotopy continuous flow. (English) Zbl 1088.55015 Theory Appl. Categ. 16, 59-83 (2006). Reviewer: Jonathan Hodgson (Philadelphia) MSC: 55U35 55P99 18B99 68Q85 PDF BibTeX XML Cite \textit{P. Gaucher}, Theory Appl. Categ. 16, 59--83 (2006; Zbl 1088.55015) Full Text: arXiv EuDML EMIS OpenURL
Fajstrup, Lisbeth Dipaths and dihomotopies in a cubical complex. (English) Zbl 1085.55010 Adv. Appl. Math. 35, No. 2, 188-206 (2005). Reviewer: Jonathan Hodgson (Philadelphia) MSC: 55P99 68Q70 68Q85 PDF BibTeX XML Cite \textit{L. Fajstrup}, Adv. Appl. Math. 35, No. 2, 188--206 (2005; Zbl 1085.55010) Full Text: DOI OpenURL
Gaucher, Philippe Homological properties of non-deterministic branchings of mergings in higher dimensional automata. (English) Zbl 1085.55003 Homology Homotopy Appl. 7, No. 1, 51-76 (2005). Reviewer: Jonathan Hodgson (Philadelphia) MSC: 55N35 55P99 68Q70 68Q85 PDF BibTeX XML Cite \textit{P. Gaucher}, Homology Homotopy Appl. 7, No. 1, 51--76 (2005; Zbl 1085.55003) Full Text: DOI arXiv EuDML EMIS OpenURL
Fajstrup, L.; Raussen, M.; Goubault, E.; Haucourt, E. Components of the fundamental category. (English) Zbl 1078.55020 Appl. Categ. Struct. 12, No. 1, 81-108 (2004). MSC: 55U40 18A32 54F05 55Q05 68N30 68Q85 55P99 PDF BibTeX XML Cite \textit{L. Fajstrup} et al., Appl. Categ. Struct. 12, No. 1, 81--108 (2004; Zbl 1078.55020) Full Text: DOI OpenURL
Gaucher, Philippe Concurrent process up to homotopy. II. (Automate parallèle à homotopie près. II.) (French) Zbl 1048.68054 C. R., Math., Acad. Sci. Paris 336, No. 8, 647-650 (2003). MSC: 68Q85 55U35 PDF BibTeX XML Cite \textit{P. Gaucher}, C. R., Math., Acad. Sci. Paris 336, No. 8, 647--650 (2003; Zbl 1048.68054) Full Text: DOI arXiv OpenURL
Gaucher, Philippe Automate parallèle à homotopie près. I. (Concurrent process up to homotopy. I). (French) Zbl 1030.68061 C. R., Math., Acad. Sci. Paris 336, No. 7, 593-596 (2003). MSC: 68Q80 55U35 PDF BibTeX XML Cite \textit{P. Gaucher}, C. R., Math., Acad. Sci. Paris 336, No. 7, 593--596 (2003; Zbl 1030.68061) Full Text: DOI arXiv OpenURL
Fajstrup, Lisbeth Dicovering spaces. (English) Zbl 1030.68057 Homology Homotopy Appl. 5, No. 2, 1-17 (2003); erratum ibid. 13, No. 1, 403-406 (2011). MSC: 68Q45 57M10 51H15 54E99 PDF BibTeX XML Cite \textit{L. Fajstrup}, Homology Homotopy Appl. 5, No. 2, 1--17 (2003; Zbl 1030.68057) Full Text: DOI EuDML EMIS OpenURL
Raussen, Martin On the classification of dipaths in geometric models for concurrency. (English) Zbl 0961.68051 Math. Struct. Comput. Sci. 10, No. 4, 427-457 (2000). MSC: 68Q10 68Q85 PDF BibTeX XML Cite \textit{M. Raussen}, Math. Struct. Comput. Sci. 10, No. 4, 427--457 (2000; Zbl 0961.68051) Full Text: DOI OpenURL