Rajive Bagrodia K. Mani Chandy E. Kwan UC: a language for the connection machine. 525-534 1990 conf/sc/1990 SC http://portal.acm.org/citation.cfm?id=110382.110583 db/conf/sc/sc1990.html#BagrodiaCK90