Representation of the Signal Transduction with Aberrance Using Ipi Calculus

Min Zhang (1, 2) , Guoqiang Li (2) , Fuxi Fu (2) , Zhizhou Zhang (2) , Lin He (2)

1 PPS - Preuves, Programmes et Systèmes
2 BASICS

The pi calculus has been applied to modelling biochemical networks. In these applications, the modelling is done without considerations to exceptions. The Ipi calculus, the Interference pi calculus, is introduced to describe the signal transduction with aberrance. The calculus is obtained by adding two aberrant actions into the pi calculus and a tag system to check existing aberrance. A model of the signal transduction, RTK-MAPK, with the aberrant Ras is highlighted to illustrate the expressive power of the Ipi calculus.

Mots clés: pi calculus; signal transduction with aberrance

Domaines: Biotechnologie; Biotechnologies

Min Zhang, Guoqiang Li, Fuxi Fu, Zhizhou Zhang, Lin He. Representation of the Signal Transduction with Aberrance Using Ipi Calculus. First International Symposium, CIS 2004, Dec 2004, Shanghai, China. pp.477-485, ⟨10.1007/b104566⟩. ⟨hal-00155354⟩