Constraining rule-based dynamics with types

Mathematical Structures in Computer Science

Volumn 23, Issue 2, 2013, Pages 272-289

  Danos, Vincent ^a   Harmer, Russ ^b   Winskel, Glynn ^c  

^a UNIVERSITY OF EDINBURGH   (United Kingdom)

^b HARVARD MEDICAL SCHOOL   (United States)

^c UNIVERSITY OF CAMBRIDGE   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

FORMALISATION; REFINEMENT PROCESS; RULE BASED; RULE-BASED LANGUAGE; RUNTIMES;

COMPUTER APPLICATIONS; MATHEMATICAL TECHNIQUES;

SEMANTICS;

EID: 84877985157     PISSN: 09601295     EISSN: None     Source Type: Journal    
DOI: 10.1017/S0960129512000114     Document Type: Conference Paper

References (9)

1. 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 89-106.
2. 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 17-41.
3. Danos, V., Feret, J., Fontana, W. and Krivine, J. (2007b) Scalable Simulation of Cellular Signaling Networks. Springer-Verlag Lecture Notes in Computer Science 4807 139-157.
4. Danos, V., Feret, J., Fontana, W. and Krivine, J. (2008) Abstract Interpretation of Cellular Signalling Networks. Springer-Verlag Lecture Notes in Computer Science 4905 83-97.
5. Ehrig, H., Pfender, M. and Schneider, H. (1973) Graph-grammars: an algebraic approach. In: 14th Annual Symposium on Switching and Automata Theory, IEEE 167-180.
6. 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).
7. 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.
8. Robinson, E. and Rosolini, G. (1988) Categories of partial maps. Information and computation 79 (2) 95-130.
9. Yang, J.,Monine,M., Faeder, J. and Hlavacek,W. (2008) KineticMonte Carlo method for rule-based modeling of biochemical networks. Physical Review E 78 (3) 31910.