Encapsulation and Dynamic Modularity in the pi-calculus

Daniel Hirschkoff, Aurélien Pardon, Tom Hirschowitz, Samuel Hym, Damien Pous. Encapsulation and Dynamic Modularity in the pi-calculus. Electronic Notes in Theoretical Computer Science, 241:85-100, 2009. [doi]

Abstract

Abstract is missing.