Skip to main content
×
×
Home

Constraining rule-based dynamics with types

  • VINCENT DANOS (a1), RUSS HARMER (a2) and GLYNN WINSKEL (a3)
Abstract

A generalised framework of site graphs is introduced in order to provide the first fully semantic definition of the side-effect-free core of the rule-based language Kappa. This formalisation allows the use of types either to confirm that a rule respects a certain invariant or to guide a restricted refinement process that allows us to constrain its run-time applicability.

Copyright
References
Hide All
Blinov, M. L., Yang, J., Faeder, J. R. and Hlavacek, W. S. (2006) Graph theory for rule-based modeling of biochemical networks. Springer-Verlag Lecture Notes in Computer Science 4230 89106.
Danos, V., Feret, J., Fontana, W., Harmer, R. and Krivine, J. (2007a) Rule-based Modelling of Cellular Signalling. Springer-Verlag Lecture Notes in Computer Science 4703 1741.
Danos, V., Feret, J., Fontana, W. and Krivine, J. (2007b) Scalable Simulation of Cellular Signaling Networks. Springer-Verlag Lecture Notes in Computer Science 4807 139157.
Danos, V., Feret, J., Fontana, W. and Krivine, J. (2008) Abstract Interpretation of Cellular Signalling Networks. Springer-Verlag Lecture Notes in Computer Science 4905 8397.
Ehrig, H., Pfender, M. and Schneider, H. (1973) Graph-grammars: an algebraic approach. In: 14th Annual Symposium on Switching and Automata Theory, IEEE 167180.
Hlavacek, W., Faeder, J., Blinov, M., Posner, R., Hucka, M. and Fontana, W. (2006) Rules for Modeling Signal-Transduction Systems. Science's STKE 2006 (344).
Murphy, E., Danos, V., Feret, J., Harmer, R. and Krivine, J. (2009) Rule-based modelling and model refinement. Elements of Computational Systems Biology, Wiley Book Series on Bioinformatics.
Robinson, E. and Rosolini, G. (1988) Categories of partial maps. Information and computation 79 (2)95130.
Yang, J., Monine, M., Faeder, J. and Hlavacek, W. (2008) Kinetic Monte Carlo method for rule-based modeling of biochemical networks. Physical Review E 78 (3)31910.
Recommend this journal

Email your librarian or administrator to recommend adding this journal to your organisation's collection.

Mathematical Structures in Computer Science
  • ISSN: 0960-1295
  • EISSN: 1469-8072
  • URL: /core/journals/mathematical-structures-in-computer-science
Please enter your name
Please enter a valid email address
Who would you like to send this to? *
×

Metrics

Full text views

Total number of HTML views: 0
Total number of PDF views: 13 *
Loading metrics...

Abstract views

Total abstract views: 158 *
Loading metrics...

* Views captured on Cambridge Core between September 2016 - 19th August 2018. This data will be updated every 24 hours.