Linear Uniform Receptiveness in a Pi-Calculus with Location Failures

Peter Finderup, Hans Hüttel, Jakob Svane Knudsen, Johannes Garm Nielsen. Linear Uniform Receptiveness in a Pi-Calculus with Location Failures. In Taso Viglas, Alex Potanin, editors, Theory of Computing 2010, CATS 2010, Brisbane, Australia, January 2010. Volume 109 of CRPIT, pages 79-88, Australian Computer Society, 2010. [doi]

Abstract

Abstract is missing.