3 works on record
Coordination Models and Languages
Trustworthy Global Computing
Models, Languages, and Tools for Concurrent and Distributed Programming