1 citations · 2 across the 2 of their papers we have counts for
2 papers
cs.LO2019★ 1 cited
Generalising KAT to verify weighted computations
Leandro Gomes, Alexandre Madeira, Luís Soares Barbosa
Kleene algebra with tests (KAT) was introduced as an algebraic structure to model and reason about classic imperative programs, i.e. sequences of discrete transitions guarded by Bo…
cs.LO2019★ 1 cited
On the construction of multi-valued concurrent dynamic logic
Leandro Gomes
Dynamic logic is a powerful framework for reasoning about imperative programs. An extension with a concurrent operator [18] was introduced to formalise programs running in parallel…