Login / Signup
Zhou Chao Chen
Publication Activity (10 Years)
Years Active: 1981-1981
Publications (10 Years): 0
</>
Publications
</>
Zhou Chao Chen
,
C. A. R. Hoare
Partial Correctness of Communicating Sequential Processes.
ICDCS
(1981)