2 works on record
Formal Techniques for Distributed Systems
Models, Languages, and Tools for Concurrent and Distributed Programming