scientific article; zbMATH DE number 6748858
From MaRDI portal
Publication:5278395
DOI10.4230/LIPICS.CSL.2016.9zbMath1369.55013MaRDI QIDQ5278395
Jean Goubault-Larrecq, Jérémy Dubut, Eric Goubault
Publication date: 19 July 2017
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
higher category theoryhomotopy hypothesisdirected algebraic topologygeometric models for concurrencypartially enriched categories
Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Simplicial sets and complexes in algebraic topology (55U10) Enriched categories (over closed or monoidal categories) (18D20)
Related Items (3)
Directed algebraic topology, categories and higher categories ⋮ Models and van Kampen theorems for directed homotopy theory ⋮ Inessential directed maps and directed homotopy equivalences
This page was built for publication:
