Abstract
k-calculus is a formal language to describe the reactions between proteins molecules. This paper introduced the syntax and the semantics of Arcalculus, 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.
| Original language | English |
|---|---|
| Pages (from-to) | 42-44+50 |
| Journal | Shanghai Jiaotong Daxue Xuebao/Journal of Shanghai Jiaotong University |
| Volume | 41 |
| Issue number | 1 |
| State | Published - Jan 2007 |
| Externally published | Yes |
Keywords
- Life-cycle
- Protein
- k-calculus
- λ phage