Typing aberrance in signal transduction

Authors:
M. Zhang;G. Q. Li;Y. X. Fu;Z. Z. Zhang;L. He
Affiliations:
BASICS, Department of Computer Science and Engineering, Shanghai Jiao Tong University, Shanghai, China;Japan Advanced Institute of Science and Technology, Ishikawa, Japan;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:
ICNC'05 Proceedings of the First international conference on Advances in Natural Computation - Volume Part III
Year:
2005

Citing 5
Cited 1

A calculus of mobile processes, II

Information and Computation
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 by Typing inSecurity Protocols

TACS '97 Proceedings of the Third International Symposium on Theoretical Aspects of Computer Software
Representation of the signal transduction with aberrance using ipi calculus

CIS'04 Proceedings of the First international conference on Computational and Information Science

Secrecy of signals by typing in signal transduction

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

Quantified Score

Hi-index	0.00

Visualization

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.