4 papers
Central Limits via Dilated Categories
Henning Basold, OisÃn Flynn-Connolly, Chase Ford +1
The Central Limit Theorem (CLT) establishes that sufficiently large sequences of independent and identically distributed random variables converge in probability to a normal distri…
An Expressive Coalgebraic Modal Logic for Cellular Automata
Henning Basold, Chase Ford, Lulof Pirée
Cellular automata provide models of parallel computation based on cells, whose connectivity is given by an action of a monoid on the cells. At each step in the computation, every c…
Separation Logic of Generic Resources via Sheafeology
Berend van Starkenburg, Henning Basold, Chase Ford
Separation logic was conceived in order to make the verification of pointer programs scalable to large systems and it has proven extremely effective. The key idea is that programs…
Finitely Presentable Higher-Dimensional Automata and the Irrationality of Process Replication
Henning Basold, Thomas Baronner, Márton Hablicsek
Higher-dimensional automata (HDA) are a formalism to faithfully model the behaviour of concurrent systems. For ordinary automata, there is a correspondence between regular expressi…