Pattern graphs and rule-based models: The semantics of kappa

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 7794 LNCS, Issue , 2013, Pages 1-16

  Hayman, Jonathan ^a,c   Heindel, Tobias ^b  

^a CNRS   (France)

^b DIF   (France)

^c UNIVERSITY OF CAMBRIDGE   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

ANALYSIS TECHNIQUES; DOMAIN SPECIFIC; GRAPH REWRITING; GRAPH-LIKE STRUCTURES; LEVEL OF ABSTRACTION; MORPHISMS; RULE-BASED LANGUAGE; RULE-BASED MODELS;

SEMANTICS;

COMPUTER SIMULATION;

EID: 84874423080     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-37075-5_1     Document Type: Conference Paper

References (11)

1. Bachman, J.A., Sorger, P.: New approaches to modeling complex biochemistry. Nature Methods 8(2), 130-131 (2011)
2. Blinov, M.L., Yang, J., Faeder, J.R., Hlavacek, W.S.: Graph Theory for Rule-Based Modeling of Biochemical Networks. In: Priami, C., Ingólfsdóttir, A., Mishra, B., Riis Nielson, H. (eds.) Transactions on Computational Systems Biology VII. LNCS (LNBI), vol. 4230, pp. 89-106. Springer, Heidelberg (2006)
3. Corradini, A., Heindel, T., Hermann, F., König, B.: Sesqui-Pushout Rewriting. In: Corradini, A., Ehrig, H., Montanari, U., Ribeiro, L., Rozenberg, G. (eds.) ICGT 2006. LNCS, vol. 4178, pp. 30-45. Springer, Heidelberg (2006)
4. Danos, V., Feret, J., Fontana, W., Harmer, R., Hayman, J., Krivine, J., Thompson-Walsh, C., Winskel, G.: Graphs, rewriting and pathway reconstruction for rule-based models. In: Proc. FSTTCS 2012. LIPICs (2012)
5. Danos, V., Harmer, R., Winskel, G.: Constraining rule-based dynamics with types. MSCS (2012)
6. Danos, V., Laneve, C.: Formal molecular biology. TCS 325 (2004)
7. Habel, A., Pennemann, K.-H.: Nested Constraints and Application Conditions for High-Level Structures. In: Kreowski, H.-J., Montanari, U., Yu, Y., Rozenberg, G., Taentzer, G. (eds.) Formal Methods in Software and Systems Modeling. LNCS, vol. 3393, pp. 293-308. Springer, Heidelberg (2005)
8. Hayman, J., Thompson-Walsh, C., Winskel, G.: Simple containment structures in rule-based modelling of biochemical systems. In: Proc. SASB (2011)
9. Heckel, R.: DPO Transformation with Open Maps. In: Ehrig, H., Engels, G., Kreowski, H.-J., Rozenberg, G. (eds.) ICGT 2012. LNCS, vol. 7562, pp. 203-217. Springer, Heidelberg (2012)
10. Löwe, M.: Algebraic approach to single-pushout graph transformation. TCS 109 (1993)
11. Löwe, M.: Refined Graph Rewriting in Span-Categories. In: Ehrig, H., Engels, G., Kreowski, H.-J., Rozenberg, G. (eds.) ICGT 2012. LNCS, vol. 7562, pp. 111-125. Springer, Heidelberg (2012)