Z. C. Chen

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

1981

1 Z. C. Chen, C. A. R. Hoare: Partial Correctness of Communicating Sequential Processes. ICDCS 1981: 1-12

	1981
1		Z. C. Chen, C. A. R. Hoare: Partial Correctness of Communicating Sequential Processes. ICDCS 1981: 1-12

Coauthor Index

1 C. A. R. Hoare (Tony Hoare) [1]