Jeff Magee, Susan Eisenbach, Jeff Kramer. Modelling Darwin in the Pi-Caculus. In Kenneth P. Birman, Friedemann Mattern, André Schiper, editors, Theory and Practice in Distributed Systems, International Workshop, Dagstuhl Castle, Germany, September 5-9, 1994, Selected Papers. Volume 938 of Lecture Notes in Computer Science, pages 133-152, Springer, 1994.
Abstract is missing.