About Higher Dimensional Transition Systems

Philippe Gaucher (1)

1 PPS - Preuves, Programmes et Systèmes

I introduce the category of weak higher dimensional transition systems which contains the Cattani-Sassone ones as a small-orthogonality class. I will explain its categorical and homotopical properties, and the links with process algebras, bisimulation, and the topological models of concurrency.

Domaines: Combinatoire [math.CO]; Topologie algébrique [math.AT]; Calcul parallèle, distribué et partagé [cs.DC]

Philippe Gaucher. About Higher Dimensional Transition Systems. Geometric and Topological Methods in Computer Science 2010, Jan 2010, Aalborg, Denmark. ⟨hal-00695056⟩