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.
The work is supported by the Young Scientist Research Fund (60225012) and BDCC (03DZ14025).
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Milner, R., Parrow, J., Walker, D.: A Calculus of Mobile Processes, parts I and II. Information and Computation, 1–77 (1992)
Priami, C., Regev, A., Silverman, W., Shapiro, E.: Application of a stochastic name passing calculus to representation and simulation of molecular processes. Information Processing Letters 80, 25–31 (2001)
Regev, A.: Representation and simulation of molecular pathways in the stochastic pi calculus. In: Proceedings of the 2nd workshop on Computation of Biochemical Pathways and Genetic Networks (2001)
Regev, A., Silverman, W., Shapiro, E.: Representing biomolecular processes with computer process algebra: pi calculus programs of signal transduction pathways (2000), http://www.wisdom.weizmann.ac.il/~aviv/papers.htm
Regev, A., Silverman, W., Shapiro, E.: Representation and simulation of biochemical processes using the pi calculus process algebra. In: Proceedings of the Pacific Symposium of Biocomputing, vol. 6, pp. 459–470 (2001)
Sangiorgi, D., Walker, D.: The pi calculus: a Theory of Mobile Process. Cambridge University Press, Cambridge (2001)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2004 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Zhang, M., Li, G., Fu, Y., Zhang, Z., He, L. (2004). Representation of the Signal Transduction with Aberrance Using Ipi Calculus. In: Zhang, J., He, JH., Fu, Y. (eds) Computational and Information Science. CIS 2004. Lecture Notes in Computer Science, vol 3314. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-30497-5_75
Download citation
DOI: https://doi.org/10.1007/978-3-540-30497-5_75
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-24127-0
Online ISBN: 978-3-540-30497-5
eBook Packages: Computer ScienceComputer Science (R0)