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/12/2018