7 citations · 29 across the 10 of their papers we have counts for
Showing 2016Show all
2 papers · 1 filter
math.LO2016★ 1 cited
Asymmetric combination of logics is functorial: A survey
Renato Neves, Alexandre Madeira, Luis S. Barbosa +1
Asymmetric combination of logics is a formal process that develops the characteristic features of a specific logic on top of another one. Typical examples include the development o…
cs.LO2016★ 3 cited
A logic for n-dimensional hierarchical refinement
Alexandre Madeira, Manuel A. Martins, Luís S. Barbosa
Hierarchical transition systems provide a popular mathematical structure to represent state-based software applications in which different layers of abstraction are represented by…