Akshay K. Deshpande

Publication Activity (10 Years)

Years Active: 1989-1991
Publications (10 Years): 0

Publications

Krishna M. Kavi, Akshay K. Deshpande
Specification of concurrent processes using a dataflow model of computation and partially ordered events. J. Syst. Softw. 16 (2) (1991)
Krishna M. Kavi, S. R. Kuthalam, Akshay K. Deshpande
A decomposition approach for analysis of parallel processing systems. SPDP (1990)
Akshay K. Deshpande, Krishna M. Kavi
A review of specification and verification methods for parallel programs including the dataflow approach. Proc. IEEE 77 (12) (1989)