3 works on record
Trustworthy Global Computing
Coordination Models and Languages
Web Services and Formal Methods