A review of specification and verification methods for parallel programs including the dataflow approach. - Akshay K. Deshpande; Krishna M. Kavi (Proc. IEEE, 1989)

A decomposition approach for analysis of parallel processing systems. - Krishna M. Kavi; S. R. Kuthalam; Akshay K. Deshpande (SPDP, 1990)

Specification of concurrent processes using a dataflow model of computation and partially ordered events. - Krishna M. Kavi; Akshay K. Deshpande (J. Syst. Softw., 1991)