[Home] [CV] [Publications]

Publications

Minus 1a5aa4f1c08b567c9107cba729de26bc87c17ab2b2f690eb45059193a1d6f587 Symbolic Systems Biology and Pathway Logic
Lincoln, Patrick. D. and Talcott, Carolyn. - 2010 - PDF

Pathway Logic (PL) is an approach to modeling and analysis of biological processes based on rewriting logic. This chapter describes the use of PL to model signal transduction processes. It begins with a general discussion of Symbolic Systems Biology, followed by some background on rewriting logic and executable specifications. Finally, representation and analysis of a small model of Ras and Raf activation is presented in some detail.