Behavioural equivalences; Robustness; Systems biology; Unwinding; Theoretical Computer Science; Computer Science (all)

Unwinding conditions have been fruitfully exploited in Information Flow Security to define persistent security properties. In this paper we investigate their meaning and possible uses in the analysis of biological systems. In particular, we elaborate …