Unwinding biological systems

Abstract

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

Topics

11 Figures and Tables

Slides referencing similar topics