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.

 

Institute for Software Systems

 

STS is an Institute of  Hamburg University of Technology and the
School of Electrical Engineering and Information Technology

Under the slogan "Software, Technology and Systems (STS)", 
the institute combines fundamental research on descriptions and
dependences of software systems with practical issues and applications
from both engineering and social sciences.