2 works on record
Coordination Models and Languages
Models, Languages, and Tools for Concurrent and Distributed Programming