research
∙
03/23/2023
Paraconsistent Transition Systems
Often in Software Engineering, a modeling formalism has to support scena...
share
research
∙
04/14/2022
A Logic for Paraconsistent Transition Systems
Modelling complex information systems often entails the need for dealing...
research
∙
11/04/2019
Generalising KAT to verify weighted computations
Kleene algebra with tests (KAT) was introduced as an algebraic structure...
research
∙
02/08/2019