DMCA

Author manuscript, published in "Transactions on Computational Systems Biology XII, 5945 (2010) 13-76" The Attributed Pi-Calculus with Priorities (2009)

by Mathias John , Cédric Lhoussaine , Joachim Niehren , Adelinde M. Uhrmacher , Inria Lille , Biocomputing Group Lifl