Cristian Versari, Roberto Gorrieri. pi@: A pi-Based Process Calculus for the Implementation of Compartmentalised Bio-inspired Calculi. In Marco Bernardo, Pierpaolo Degano, Gianluigi Zavattaro, editors, Formal Methods for Computational Systems Biology, 8th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2008, Bertinoro, Italy, June 2-7, 2008, Advanced Lectures. Volume 5016 of Lecture Notes in Computer Science, pages 449-506, Springer, 2008. [doi]
Abstract is missing.