J4

• 计算机科学 • Previous Articles     Next Articles

π-Calculus Semantics and Verification of Na+-K+-ATPase

ZHANG Hong1, LIU Lei1, PANG Zhu2, LIU Yi qing2   

  1. 1. College of Computer Science and Technology, Jilin University, Changchun 130012, China; 2. College of Software, Jilin University, Changchun 130012, China
  • Received:2006-06-05 Revised:1900-01-01 Online:2006-08-26 Published:2006-11-26
  • Contact: LIU Lei

Abstract: π-Calculus was used to encode the semantics for the active transport of Na+-K+-ATPase. It has been proved that process calculi are a valuable tool for modeling and simulating various biological and biochemical networks where the interaction and mobility are important features. 

Key words: π-calculus, process calculi, Na+-K+-ATPase, Spin

CLC Number: 

  • TP311