𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Pathway Logic: Executable Models of Biological Networks

✍ Scribed by Steven Eker; Merrill Knapp; Keith Laderoute; Patrick Lincoln; Carolyn Talcott

Publisher
Elsevier Science
Year
2004
Tongue
English
Weight
162 KB
Volume
71
Category
Article
ISSN
1571-0661

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

Static and dynamic models of biological
Static and dynamic models of biological networks
✍ Ashish Bhan; Eric Mjolsness πŸ“‚ Article πŸ“… 2006 πŸ› John Wiley and Sons 🌐 English βš– 139 KB πŸ‘ 1 views

## Abstract We consider static and dynamic approaches to the specification of probability distributions on graphs, consistent with desired statistical properties such as degree distributions, for use in modeling biological networks. In the static approach we develop analytical approximations to the

Application of formal methods to biologi
Application of formal methods to biological regulatory networks: extending Thomas’ asynchronous logical approach with temporal logic
✍ Gilles Bernot; Jean-Paul Comet; Adrien Richard; Janine Guespin πŸ“‚ Article πŸ“… 2004 πŸ› Elsevier Science 🌐 English βš– 310 KB

Based on the discrete definition of biological regulatory networks developed by ReneΒ΄Thomas, we provide a computer science formal approach to treat temporal properties of biological regulatory networks, expressed in computational tree logic. It is then possible to build all the models satisfying a s