2 citations · 3 across the 2 of their papers we have counts for
Showing cs.LOShow all
2 papers · 1 filter
cs.LO2025★ 1 cited
Paraconsistent Relations as a Variant of Kleene Algebras
Juliana Cunha, Alexandre Madeira, Luís S. Barbosa
Kleene algebras (KA) and Kleene algebras with tests (KAT) provide an algebraic framework to capture the behavior of conventional programming constructs. This paper explores a broad…
cs.LO2023★ 2 cited
Paraconsistent Transition Systems
Ana Cruz, Alexandre Madeira, LuÂ-Ã-s Soares Barbosa
Often in Software Engineering, a modeling formalism has to support scenarios of inconsistency in which several requirements either reinforce or contradict each other. Paraconsisten…