The paper "A process calculus for privacy-preserving protocols in location-based service systems" by Kai Bavendiek and Sibylle Schupp is now in press. The electronic version is available on the <link https: www.sciencedirect.com science article abs pii s2352220821000985 _blank>JLAMP website.