Mathematical logic applied to the semantics of computer programs. - Edward A. Ashcroft (1970)

The Translation of 'Go To' Programs to 'While' Programs. - Edward A. Ashcroft; Zohar Manna (IFIP Congress (1), 1971)

Program correctness methods and language definition. - Edward A. Ashcroft (Proving Assertions About Programs, 1972)

Decidable Properties of Monadic Functional Schemas. - Edward A. Ashcroft; Zohar Manna; Amir Pnueli (J. ACM, 1973)

Towards an APL compiler. - Edward A. Ashcroft (APL, 1974)

Proving Assertions about Parallel Programs. - Edward A. Ashcroft (J. Comput. Syst. Sci., 1975)

Translating Program Schemas to While-Schemas. - Edward A. Ashcroft; Zohar Manna (SIAM J. Comput., 1975)

The Semantics of Nondeterminism. - Matthew Hennessy; Edward A. Ashcroft (ICALP, 1976)

Lucid - A Formal System for Writing and Proving Programs. - Edward A. Ashcroft; William W. Wadge (SIAM J. Comput., 1976)

Intermittent Assertion Proofs in Lucid. - Edward A. Ashcroft; William W. Wadge (IFIP Congress, 1977)

Parameter-Passing Mechanisms and Nondeterminism - Matthew Hennessy; Edward A. Ashcroft (STOC, 1977)

Lucid, a Nonprocedural Language with Iteration. - Edward A. Ashcroft; William W. Wadge (Commun. ACM, 1977)

Erratum: Lucid - A Formal System for Writing and Proving Programs. - Edward A. Ashcroft; William W. Wadge (SIAM J. Comput., 1977)

Clauses: Scope Structures and Defined Functions in Lucid. - Edward A. Ashcroft; William W. Wadge (POPL, 1978)

A Generalized Setting for Fixpoint Theory. - Edward A. Ashcroft; Faith E. Fich (Theor. Comput. Sci., 1979)

Some common misconceptions about Lucid. - Edward A. Ashcroft; William W. Wadge (ACM SIGPLAN Notices, 1980)

A Mathematical Semantics for a Nondeterministic Typed lambda-Calculus. - Matthew Hennessy; Edward A. Ashcroft (Theor. Comput. Sci., 1980)

R/ for Semantics. - Edward A. Ashcroft; William W. Wadge (ACM Trans. Program. Lang. Syst., 1982)

Dataflow and Education: Data-driven and Demand-driven Distributed Computation. - Edward A. Ashcroft (Current Trends in Concurrency, 1986)

A dataflow algorithm for digital filtering. - Leah H. Jamieson; Edward A. Ashcroft (ICASSP, 1986)

Performance Analysis of Dataflow Signal Processing Algorithms. - Leah H. Jamieson; Edward A. Ashcroft (ICPP, 1986)

Fault Tolerance in Parallel Implementations of Functional Languages. - R. Jagannathan; Edward A. Ashcroft (FTCS, 1991)

Performance Analysis of Mobile Wireless ATM Networks. - Sirisha Medidi; Edward A. Ashcroft (PDPTA, 2000)