Karol Ostrovsky K. V. S. Prasad Walid Taha Towards a primitive higher order calculus of broadcasting systems. 2-13 2002 conf/ppdp/2002 PPDP http://doi.acm.org/10.1145/571157.571159 db/conf/ppdp/ppdp2002.html#OstrovskyPT02