45 citations · 190 across the 20 of their papers we have counts for
Showing 2018Show all
3 papers · 1 filter
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…
math.HO2018
From analytical mechanical problems to rewriting theory through M. Janet
Kenji Iohara, Philippe Malbos
This note surveys the historical background of the Gröbner basis theory for D-modules and linear rewriting theory. The objective is to present a deep interaction of these two field…