κ-Calculus Model for the Life-Cycle of Lambda Phage
Résumé
κ--calculus is a formal language to describe the reactions between proteins molecules. This paper introduced the syntax and the semantics of κ-calculus, the biological process of λ-phage eroding the Escherichia Coli (E. Coli), and proposed a method of modeling the biological processes. Based on the study of biological model, a series of rules were given and used to model the process. According to the characteristics of the model, the paper also analyzed and studied the abilities and properties of the calculus.[