The geometry of cubical and regular transition systems

zbMath1342.18029arXiv1405.5184MaRDI QIDQ2786895

Philippe Gaucher

Publication date: 23 February 2016

Full work available at URL: https://arxiv.org/abs/1405.5184

zbMATH Keywords

combinatorial model categoryweak factorization systemhigher dimensional transition system

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Abstract and axiomatic homotopy theory in algebraic topology (55U35) Accessible and locally presentable categories (18C35)

This page was built for publication: The geometry of cubical and regular transition systems