2 citations · 4 across the 5 of their papers we have counts for
2 papers
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…
cs.DC2016★ 2 cited
An Enhanced Model for Stochastic Coordination
Nuno Oliveira, Luis Soares Barbosa
Applications developed over the cloud coordinate several, often anonymous, computational resources, distributed over different execution nodes, within flexible architectures. Coord…