D. Janakiram R. Venkateswarlu A. Vijay Srinivas A. Uday Kumar Soma: a compositional language for distributed systems. 10-19 2006 41 SIGPLAN Notices 3 http://doi.acm.org/10.1145/1140543.1140547 db/journals/sigplan/sigplan41.html#JanakiramVSK06