A logic for n-dimensional hierarchical refinement

Hierarchical transition systems provide a popular mathematical structure to represent state-based software applications in which different layers of abstraction are represented by inter-related state machines. The decomposition of high level states into inner sub-states, and of their transitions into inner sub-transitions is common refinement procedure adopted in a number of specification formalisms. This paper introduces a hybrid modal logic for k-layered transition systems, its first-order standard translation, a notion of bisimulation, and a modal invariance result. Layered and hierarchical notions of refinement are also discussed in this setting.Comment: In Proceedings Refine'15, arXiv:1606.0134

Global Bioethics in a Pandemic: A Dialogical Approach

In this short essay, I present a work in progress of a research project on the COVID-19 pandemic and the ethical issues that this pandemic and the way it has been handled have raised for clinical practices and public health measures

Refinement by interpretation in {\pi}-institutions

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-institutions. This leads to a smooth generalization of the refinement-by-interpretation approach, recently introduced by the authors in more specific contexts. As a second, yet related contribution a basis is provided to build up a refinement calculus of structured specifications in and across arbitrary pi-institutions.Comment: In Proceedings Refine 2011, arXiv:1106.348

On the influence that the ground electrode diameter has in the propulsion efficiency of an asymmetric capacitor in nitrogen gas

In this work the propulsion force developed in an asymmetric capacitor will be calculated for three different diameters of the ground electrode. The used ion source is a small diameter wire, which generates a positive corona discharge in nitrogen gas directed to the ground electrode. By applying the fluid dynamic and electrostatic theories all hydrodynamic and electrostatic forces that act on the considered geometries will be computed in an attempt to provide a physical insight on the force mechanism that acts on the asymmetrical capacitors, and also to understand how to increase the efficiency of propulsion.Comment: 13 pages, 8 figures, Accepted for publication in "Physics of Plasmas