4 works on record
Trustworthy Global Computing
Formal Methods for Industrial Critical Systems
Coordination Models and Languages
Internet e Web 2.0