research
∙
07/18/2023
Higher Catoids, Higher Quantales and their Correspondences
We establish modal correspondences between omega-catoids and convolution...
share
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
∙
06/10/2021
Hybrid Systems Verification with Isabelle/HOL: Simpler Syntax, Better Models, Faster Proofs
We extend a semantic verification framework for hybrid systems with the ...
research
∙
05/01/2021
lr-Multisemigroups and Modal Convolution Algebras
We show how modal quantales arise as convolution algebras of functions f...
research
∙
11/09/2020
Domain Semirings United
Domain operations on semirings have been axiomatised in two different wa...
research
∙
06/29/2020
Algebraic coherent confluence and higher-dimensional globular Kleene algebras
We extend the formalisation of confluence results in Kleene algebras to ...
research
∙
02/06/2020
Convolution and Concurrency
We show how concurrent quantales and concurrent Kleene algebras arise as...
research
∙
01/31/2020
Relational Semigroups and Object-Free Categories
This note relates axioms for partial semigroups and monoids with those f...
research
∙
10/29/2019
Differential Hoare Logics and Refinement Calculi for Hybrid Systems with Isabelle/HOL
We present simple new Hoare logics and refinement calculi for hybrid sys...
research
∙
09/12/2019