Na<sup>+</sup>-K<sup>+</sup>-ATP酶的π-演算语义及验证

Na⁺-K⁺-ATP酶的π-演算语义及验证

张红, 刘磊, 庞柱, 柳一卿

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

ZHANG Hong, LIU Lei, PANG Zhu, LIU Yi qing

吉林大学学报(理学版) . 2006, (06): 119 -122 .