Combinators and bisimulation proofs for restartable systems. - K. V. S. Prasad (1987)

Programming with Broadcasts. - K. V. S. Prasad (CONCUR, 1993)

A Calculus of Value Broadcasts. - K. V. S. Prasad (PARLE, 1993)

Broadcasting with Priority. - K. V. S. Prasad (ESOP, 1994)

A Calculus of Broadcasting Systems. - K. V. S. Prasad (Sci. Comput. Program., 1995)

Broadcasting in Time. - K. V. S. Prasad (COORDINATION, 1996)

Broadcast Calculus Interpreted in CCS upto Bisimulation. - K. V. S. Prasad (EXPRESS, 2001)

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

A Prospectus for Mobile Broadcasting Systems. - K. V. S. Prasad (APC 25, 2005)

Computational evidence that Hindi and Urdu share a grammar but not the lexicon. - K. V. S. Prasad; Shafqat Mumtaz Virk (WSSANLP@COLING, 2012)

Themes in Broadcast Calculi. - K. V. S. Prasad (ISPDC, 2014)

Developing an interlingual translation lexicon using WordNets and Grammatical Framework. - Shafqat Mumtaz Virk; K. V. S. Prasad; Aarne Ranta; Krasimir Angelov (WSSANLP@COLING, 2014)