Linear Uniform Receptiveness in a Pi-Calculus with Location Failures. - Peter Finderup; Hans Hüttel; Jakob Svane Knudsen; Johannes Garm Nielsen (CATS, 2010)