V. R. Prasad

According to our database, V. R. Prasad authored at least 4 papers between 1978 and 1984.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

1984

Interference-Freedom in Proofs of CSP Programs.

V. R. Prasad

Proceedings of the 4th International Conference on Distributed Computing Systems, 1984

1980

Variable Number of Parameters in Typed Languages.

V. R. Prasad

Softw. Pract. Exp., 1980

1979

Some Aspects of Concurrent Programmming in CCNPASCAL.

K. T. Narayana, V. R. Prasad, Mathai Joseph

Softw. Pract. Exp., 1979

1978

More on Nested Monitor Calls.

Mathai Joseph, V. R. Prasad

ACM SIGOPS Oper. Syst. Rev., 1978