E. Ashcroft

发表

E. Ashcroft, Bill Wadge, 2012 .

W. Wadge, E. Ashcroft, 2012 .

C. A. R. Hoare, E. A. Ashcroft, M. Clint, 1976, Acta Informatica.

Zohar Manna, Edward A. Ashcroft, Z. Manna, 1970 .

William W. Wadge, Edward A. Ashcroft, W. Wadge, 1982, TOPL.

Zohar Manna, Edward A. Ashcroft, Z. Manna, 1971, IFIP Congress.

William W. Wadge, Edward A. Ashcroft, W. Wadge, 1985 .

William W. Wadge, Edward A. Ashcroft, W. Wadge, 1976, SIAM J. Comput..

R. Jagannathan, E. A. Ashcroft, R. Jagannathan, 1991, Twenty-Fifth International Symposium on Fault-Tolerant Computing, 1995, ' Highlights from Twenty-Five Years'..

E. A. Ashcroft, E. Ashcroft, 1972, Proving Assertions About Programs.

Zohar Manna, Amir Pnueli, Edward A. Ashcroft, 1973, JACM.

Edward A. Ashcroft, E. Ashcroft, 1986, Current Trends in Concurrency.

Edward A. Ashcroft, E. Ashcroft, 1975, J. Comput. Syst. Sci..