Efficient routing and conflict resolution in F and IADM networks. - K. C. Anand; Dharma P. Agrawal; Nita M. Kini (SPDP, 1990)

Formal Verification of Activity-Based Specification of Protocols. - K. C. Anand; R. K. Shyamasundar (J. Parallel Distributed Comput., 2000)