research
∙
09/20/2023
Cardinality and Representation of Stone Relation Algebras
Previous work has axiomatised the cardinality operation in relation alge...
research
∙
05/18/2023
Modal Algebra of Multirelations
We formalise the modal operators from the concurrent dynamic logics of P...
research
∙
05/18/2023
Determinism of Multirelations
Binary multirelations can model alternating nondeterminism, for instance...
research
∙
05/18/2023
On the Inner Structure of Multirelations
Binary multirelations form a model of alternating nondeterminism useful ...
research
∙
01/24/2023
Relation-Algebraic Verification of Disjoint-Set Forests
This paper studies how to use relation algebras, which are useful for hi...
research
∙
01/12/2018