Typing Aberrance in Signal Transduction

We have developed a calculus, called Ipi, for describing the aberrance in biological models. Our approach extends the traditional pi calculus to handle aberrant process in the signal transduction. In this paper we propose a typing system that replaces the tag system of Ipi calculus. It is shown that the typing system is equal to the tag system in terms of the expressive power.

• Type: Conference
• Year: 2005
• Where: ICNC
• Authors: Min Zhang, Guoqiang Li, Yuxi Fu, Zhizhou Zhang, Lin He
• Keywords: Aberrant Process, ICNC 2005, Ipi Calculus, Traditional Pi Calculus