Soma: a compositional language for distributed systems. - D. Janakiram; R. Venkateswarlu; A. Vijay Srinivas; A. Uday Kumar (ACM SIGPLAN Notices, 2006)