Typing aberrance in signal transduction

M. Zhang; G. Q. Li; Y. X. Fu; Z. Z. Zhang; L. He

doi:10.1007/11539902_82

Typing aberrance in signal transduction

M. Zhang^*
, G. Q. Li
, Y. X. Fu
, Z. Z. Zhang
, L. He

^*Corresponding author for this work

Research output: Contribution to journal › Conference article › peer-review

1 Scopus citations

Abstract

We have developed a calculus, called I pi, 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.

Original language	English
Pages (from-to)	668-677
Number of pages	10
Journal	Lecture Notes in Computer Science
Volume	3612
Issue number	PART III
DOIs	https://doi.org/10.1007/11539902_82
State	Published - 2005
Externally published	Yes
Event	First International Conference on Natural Computation, ICNC 2005 - Changsha, China Duration: 27 Aug 2005 → 29 Aug 2005

Access to Document

10.1007/11539902_82

Cite this

@article{0e9bbb5b7b5d4548976ae6a1ebfc8076,

title = "Typing aberrance in signal transduction",

abstract = "We have developed a calculus, called I pi, 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.",

author = "M. Zhang and Li, \{G. Q.\} and Fu, \{Y. X.\} and Zhang, \{Z. Z.\} and L. He",

year = "2005",

doi = "10.1007/11539902\_82",

language = "英语",

volume = "3612",

pages = "668--677",

journal = "Lecture Notes in Computer Science",

issn = "0302-9743",

publisher = "Springer Science and Business Media Deutschland GmbH",

number = "PART III",

note = "First International Conference on Natural Computation, ICNC 2005 ; Conference date: 27-08-2005 Through 29-08-2005",

}

TY - JOUR

T1 - Typing aberrance in signal transduction

AU - Zhang, M.

AU - Li, G. Q.

AU - Fu, Y. X.

AU - Zhang, Z. Z.

AU - He, L.

PY - 2005

Y1 - 2005

N2 - We have developed a calculus, called I pi, 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.

AB - We have developed a calculus, called I pi, 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.

UR - https://www.scopus.com/pages/publications/26844535800

U2 - 10.1007/11539902_82

DO - 10.1007/11539902_82

M3 - 会议文章

AN - SCOPUS:26844535800

SN - 0302-9743

VL - 3612

SP - 668

EP - 677

JO - Lecture Notes in Computer Science

JF - Lecture Notes in Computer Science

IS - PART III

T2 - First International Conference on Natural Computation, ICNC 2005

Y2 - 27 August 2005 through 29 August 2005

ER -

Typing aberrance in signal transduction

Abstract

Access to Document

Other files and links

Fingerprint

Cite this