7 citations · 30 across the 9 of their papers we have counts for
10 papers
A Logic for Paraconsistent Transition Systems
Ana Cruz, Alexandre Madeira, Luís Soares Barbosa
Modelling complex information systems often entails the need for dealing with scenarios of inconsistency in which several requirements either reinforce or contradict each other. In…
Quantum Bayesian decision-making*
Michael de Oliveira, Luis Soares Barbosa
As a compact representation of joint probability distributions over a dependence graph of random variables, and a tool for modelling and reasoning in the presence of uncertainty, B…
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…
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…
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…
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…
Continuity as a computational effect
Renato Neves, Luis S. Barbosa, Dirk Hofmann +1
The original purpose of component-based development was to provide techniques to master complex software, through composition, reuse and parametrisation. However, such systems are…
The role of logical interpretations in program development
Manuel A. Martins, Alexandre Madeira, Luis S. Barbosa
Stepwise refinement of algebraic specifications is a well known formal methodology for program development. However, traditional notions of refinement based on signature morphisms…
Bisimilarity and refinement for hybrid(ised) logics
Alexandre Madeira, Manuel A. Martins, Luís Soares Barbosa
The complexity of modern software systems entails the need for reconfiguration mechanisms gov- erning the dynamic evolution of their execution configurations in response to both ex…
Refinement by interpretation in π-institutions
César Rodrigues, Manuel A. Martins, Alexandre Madeira +1
The paper discusses the role of interpretations, understood as multifunctions that preserve and reflect logical consequence, as refinement witnesses in the general setting of pi-in…