Zining Cao. Bisimulations for a Distributed Higher Order ::::pi:::: -Calculus. In Cliff B. Jones, Zhiming Liu, Jim Woodcock, editors, Theoretical Aspects of Computing - ICTAC 2007, 4th International Colloquium, Macau, China, September 26-28, 2007, Proceedings. Volume 4711 of Lecture Notes in Computer Science, pages 94-108, Springer, 2007. [doi]
Abstract is missing.