Towards a primitive higher order calculus of broadcasting systems. - Karol Ostrovsky; K. V. S. Prasad; Walid Taha (PPDP, 2002)

On Modelling and Analysing Concurrent Systems. - Karol Ostrovsky (2005)