Language support for building distributed systems (2007)

by Mace
Venue:In PLDI