Unwinding biological systems


Unwinding conditions have been fruitfully exploited in Information Flow Security to define persistent security properties. In this paper we investigate on their meaning and possible uses in the analysis of biological systems. In particular, we elaborate on the notion of robustness and propose some instances of unwinding over the process algebra Bio-PEPA and… (More)
DOI: 10.1016/j.tcs.2015.02.045


11 Figures and Tables

Slides referencing similar topics