Abstract
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.
The work is supported by The National Distinguished Young Scientist Fund of NNSFC (60225012), BDCC (03DZ14025), The National Nature Science Foundation of China (60473006), and The BoShiDian Research Fund (20010248033).
This is a preview of subscription content, log in via an institution to check access.
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. In: Information and Computation, pp. 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)
Abadi, M.: Secrecy by Typing in Security Protocals. In: Ito, T., Abadi, M. (eds.) TACS 1997. LNCS, vol. 1281, pp. 611–638. Springer, Heidelberg (1997)
Zhang, M., Li, G., Fu, Y., et al.: Representation of the Signal Transduction with Aberrance Using Ipi Calculus. In: Zhang, J., He, J.-H., Fu, Y. (eds.) CIS 2004. LNCS, vol. 3314, pp. 477–484. Springer, Heidelberg (2004)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2005 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Zhang, M., Li, G.Q., Fu, Y.X., Zhang, Z.Z., He, L. (2005). Typing Aberrance in Signal Transduction. In: Wang, L., Chen, K., Ong, Y.S. (eds) Advances in Natural Computation. ICNC 2005. Lecture Notes in Computer Science, vol 3612. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11539902_82
Download citation
DOI: https://doi.org/10.1007/11539902_82
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-28320-1
Online ISBN: 978-3-540-31863-7
eBook Packages: Computer ScienceComputer Science (R0)