J. of Logical and Algebraic Methods in Programming
A process calculus for privacy-preserving protocols in location-based service systems
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 JLAMP website.
