Login / Signup
V. R. Prasad
Publication Activity (10 Years)
Years Active: 1978-1984
Publications (10 Years): 0
</>
Publications
</>
V. R. Prasad
Interference-Freedom in Proofs of CSP Programs.
ICDCS
(1984)
V. R. Prasad
Variable Number of Parameters in Typed Languages.
Softw. Pract. Exp.
10 (7) (1980)
K. T. Narayana
,
V. R. Prasad
,
M. Joseph
Some Aspects of Concurrent Programmming in CCNPASCAL.
Softw. Pract. Exp.
9 (9) (1979)
M. Joseph
,
V. R. Prasad
More on Nested Monitor Calls.
ACM SIGOPS Oper. Syst. Rev.
12 (2) (1978)