Logo del repository
  1. Home
 
Opzioni

Unwinding biological systems

CASAGRANDE, ALBERTO
•
Piazza, Carla
2015
  • journal article

Periodico
THEORETICAL COMPUTER SCIENCE
Abstract
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 on the notion of robustness and propose some instances of unwinding over the process algebra Bio-PEPA and over hybrid automata. We exploit such instances to analyse two case-studies: Neurospora crassa circadian system and Influenza kinetics models.
DOI
10.1016/j.tcs.2015.02.045
WOS
WOS:000357231000003
Archivio
http://hdl.handle.net/11368/2841060
info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-84945294535
Diritti
open access
license:creative commons
license:digital rights management non definito
license uri:http://creativecommons.org/licenses/by-nc-nd/3.0/it/
FVG url
https://arts.units.it/request-item?handle=11368/2841060
Soggetti
  • Systems biology

  • Unwinding

  • Behavioural equivalen...

  • Robustness

Web of Science© citazioni
1
Data di acquisizione
Mar 18, 2024
google-scholar
Get Involved!
  • Source Code
  • Documentation
  • Slack Channel
Make it your own

DSpace-CRIS can be extensively configured to meet your needs. Decide which information need to be collected and available with fine-grained security. Start updating the theme to match your nstitution's web identity.

Need professional help?

The original creators of DSpace-CRIS at 4Science can take your project to the next level, get in touch!

Realizzato con Software DSpace-CRIS - Estensione mantenuta e ottimizzata da 4Science

  • Impostazioni dei cookie
  • Informativa sulla privacy
  • Accordo con l'utente finale
  • Invia il tuo Feedback