Skip to main content
×
Home
    • Aa
    • Aa

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
Linked references
Hide All

This list contains references from the content that can be linked to their source. For a full set of references and notes please see the PDF or HTML where available.

M. L. Blinov , J. Yang , J. R. Faeder and W. S. Hlavacek (2006) Graph theory for rule-based modeling of biochemical networks. Springer-Verlag Lecture Notes in Computer Science 4230 89106.

V. Danos , J. Feret , W. Fontana , R. Harmer and J. Krivine (2007a) Rule-based Modelling of Cellular Signalling. Springer-Verlag Lecture Notes in Computer Science 4703 1741.

V. Danos , J. Feret , W. Fontana and J. Krivine (2007b) Scalable Simulation of Cellular Signaling Networks. Springer-Verlag Lecture Notes in Computer Science 4807 139157.

V. Danos , J. Feret , W. Fontana and J. Krivine (2008) Abstract Interpretation of Cellular Signalling Networks. Springer-Verlag Lecture Notes in Computer Science 4905 8397.

H. Ehrig , M. Pfender and H. Schneider (1973) Graph-grammars: an algebraic approach. In: 14th Annual Symposium on Switching and Automata Theory, IEEE167180.

E. Robinson and G. Rosolini (1988) Categories of partial maps. Information and computation 79 (2) 95130.

J. Yang , M. Monine , J. Faeder and W. Hlavacek (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: 7 *
Loading metrics...

Abstract views

Total abstract views: 95 *
Loading metrics...

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