Representation of the signal transduction with aberrance using ipi calculus

Authors:
Min Zhang;Guoqiang Li;Yuxi Fu;Zhizhou Zhang;Lin He
Affiliations:
BASICS, Department of Computer Science and Engineering, Shanghai Jiao Tong University, Shanghai, China;BASICS, Department of Computer Science and Engineering, Shanghai Jiao Tong University, Shanghai, China;BASICS, Department of Computer Science and Engineering, Shanghai Jiao Tong University, Shanghai, China;BDCC, College of Life Science and Biotechnology, Shanghai Jiao Tong University, Shanghai, China;BDCC, College of Life Science and Biotechnology, Shanghai Jiao Tong University, Shanghai, China
Venue:
CIS'04 Proceedings of the First international conference on Computational and Information Science
Year:
2004

Citing 2
Cited 2

Application of a stochastic name-passing calculus to representation and simulation of molecular processes

Information Processing Letters
PI-Calculus: A Theory of Mobile Processes

PI-Calculus: A Theory of Mobile Processes

Secrecy of signals by typing in signal transduction

ICNC'06 Proceedings of the Second international conference on Advances in Natural Computation - Volume Part II
Typing aberrance in signal transduction

ICNC'05 Proceedings of the First international conference on Advances in Natural Computation - Volume Part III

Quantified Score

Hi-index	0.00

Visualization

Abstract

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.