45 citations · 190 across the 20 of their papers we have counts for
Showing 2018 · math.CTShow all
2 papers · 2 filters
math.CT2018
Time-reversal homotopical properties of concurrent systems
Cameron Calk, Eric Goubault, Philippe Malbos
Directed topology was introduced as a model of concurrent programs, where the flow of time is described by distinguishing certain paths in the topological space representing such a…
math.CT2018★ 1 cited
Coherent confluence modulo relations and double groupoids
Benjamin Dupont, Philippe Malbos
A coherent presentation of an n-category is a presentation by generators, relations and relations among relations. Confluent and terminating rewriting systems generate coherent pre…