2 papers
math.CT2024
Strict refinement property of connected loop-free categories
Aly-Bora Ulusoy, Emmanuel Haucourt
In this paper we study the strict refinement property for connected partial ordersalso known as Hashimoto's Theorem. This property implies that any isomorphismbetween products of i…
cs.LO2021
Syntactic Regions for Concurrent Programs
Samuel Mimram, Aly-Bora Ulusoy
In order to gain a better understanding of the state space of programs, with the aim of making their verification more tractable, models based on directed topological spaces have b…