Showing cs.LOShow all
2 papers · 1 filter
cs.LO2021
Domain Range Semigroups and Finite Representations
Jaš Šemrl
Relational semigroups with domain and range are a useful tool for modelling nondeterministic programs. We prove that the representation class of domain-range semigroups with demoni…
cs.LO2021
Demonic Lattices and Semilattices in Relational Semigroups with Ordinary Composition
Robin Hirsch, Jaš Šemrl
Relation algebra and its reducts provide us with a strong tool for reasoning about nondeterministic programs and their partial correctness. Demonic calculus, introduced to model th…