| |
| 1984 | ||
|---|---|---|
| 4 | V. R. Prasad: Interference-Freedom in Proofs of CSP Programs. ICDCS 1984: 79-86 | |
| 1980 | ||
| 3 | V. R. Prasad: Variable Number of Parameters in Typed Languages. Softw., Pract. Exper. 10(7): 507-517 (1980) | |
| 1979 | ||
| 2 | K. T. Narayana, V. R. Prasad, M. Joseph: Some Aspects of Concurrent Programmming in CCNPASCAL. Softw., Pract. Exper. 9(9): 749-770 (1979) | |
| 1978 | ||
| 1 | M. Joseph, V. R. Prasad: More on Nested Monitor Calls. Operating Systems Review 12(2): 21-25 (1978) | |
| 1 | M. Joseph | [1] [2] |
| 2 | K. T. Narayana | [2] |