Keyword:labelled transition semantic

Papers
Type Checking Conditional Purpose-Based Privacy Policies in the π-Calculus Georgios V. Pitsiladis EasyChair Preprint no. 7596