3 papers
math.LO2021
Override and restricted union for partial functions
Tim Stokes
The {\em override} operation is a natural one in computer science, and has connections with other areas of mathematics such as hyperplane arrangements. For arbitrary funct…
cs.LO2020
The algebra of non-deterministic programs: demonic operators, orders and axioms
Robin Hirsch, Szabolcs Mikulás, Tim Stokes
Demonic composition, demonic refinement and demonic union are alternatives to the usual "angelic" composition, angelic refinement (inclusion) and angelic (usual) union defined on b…
math.LO2019
Override and update
Marcel Jackson, Tim Stokes
Override and update are natural constructions for combining partial functions, which arise in various program specification contexts. We use an unexpected connection with combinato…