This book constitutes the thoroughly refereedpost-conference proceedings of the Third Annual Priv...

ETAPS2002wasthe?fthinstanceoftheEuropeanJointConferencesonTheory and Practice of Software. ETAPS ...

This book constitutes the refereed proceedings of the Second International Conference on Coordina...

This volume contains most of the papers presented at a workshop on research directions in high-le...

The aim of this study is to provide evidence of the relevance of functional programming for softw...

Privacy Risk Analysis fills a gap in the existing literature by providing an introduction to the ...