"Towards a primitive higher order calculus of broadcasting systems."

Karol Ostrovsky, K. V. S. Prasad, Walid Taha (2002)
a service of Schloss Dagstuhl - Leibniz Center for Informatics