Mathias John, Cédric Lhoussaine, Joachim Niehren. Dynamic Compartments in the Imperative ::::pi::::-Calculus. In Pierpaolo Degano, Roberto Gorrieri, editors, Computational Methods in Systems Biology, 7th International Conference, CMSB 2009, Bologna, Italy, August 31-September 1, 2009. Proceedings. Volume 5688 of Lecture Notes in Computer Science, pages 235-250, Springer, 2009. [doi]
Abstract is missing.