| 2000 |
|---|
| 18 | | Sirisha Medidi,
Edward A. Ashcroft:
Performance Analysis of Mobile Wireless ATM Networks.
PDPTA 2000 |
| 1991 |
|---|
| 17 | | R. Jagannathan,
Edward A. Ashcroft:
Fault Tolerance in Parallel Implementations of Functional Languages.
FTCS 1991: 256-265 |
| 1986 |
|---|
| 16 | | Leah H. Jamieson,
Edward A. Ashcroft:
Performance Analysis of Dataflow Signal Processing Algorithms.
ICPP 1986: 608-610 |
| 15 | | Edward A. Ashcroft:
Dataflow and Education: Data-driven and Demand-driven Distributed Computation.
Current Trends in Concurrency 1986: 1-50 |
| 1982 |
|---|
| 14 | EE | Edward A. Ashcroft,
William W. Wadge:
R/ for Semantics.
ACM Trans. Program. Lang. Syst. 4(2): 283-294 (1982) |
| 1980 |
|---|
| 13 | | Matthew Hennessy,
Edward A. Ashcroft:
A Mathematical Semantics for a Nondeterministic Typed lambda-Calculus.
Theor. Comput. Sci. 11: 227-245 (1980) |
| 1979 |
|---|
| 12 | | Edward A. Ashcroft,
Faith E. Fich:
A Generalized Setting for Fixpoint Theory.
Theor. Comput. Sci. 9: 243-256 (1979) |
| 1978 |
|---|
| 11 | | Edward A. Ashcroft,
William W. Wadge:
Clauses: Scope Structures and Defined Functions in Lucid.
POPL 1978: 17-22 |
| 1977 |
|---|
| 10 | | Edward A. Ashcroft,
William W. Wadge:
Intermittent Assertion Proofs in Lucid.
IFIP Congress 1977: 723-726 |
| 9 | | Matthew Hennessy,
Edward A. Ashcroft:
Parameter-Passing Mechanisms and Nondeterminism
STOC 1977: 306-311 |
| 8 | | Edward A. Ashcroft,
William W. Wadge:
Lucid, a Nonprocedural Language with Iteration.
Commun. ACM 20(7): 519-526 (1977) |
| 7 | | Edward A. Ashcroft,
William W. Wadge:
Erratum: Lucid - A Formal System for Writing and Proving Programs.
SIAM J. Comput. 6(1): 200 (1977) |
| 1976 |
|---|
| 6 | | Matthew Hennessy,
Edward A. Ashcroft:
The Semantics of Nondeterminism.
ICALP 1976: 478-493 |
| 5 | | Edward A. Ashcroft,
William W. Wadge:
Lucid - A Formal System for Writing and Proving Programs.
SIAM J. Comput. 5(3): 336-354 (1976) |
| 1975 |
|---|
| 4 | | Edward A. Ashcroft:
Proving Assertions about Parallel Programs.
J. Comput. Syst. Sci. 10(1): 110-135 (1975) |
| 3 | | Edward A. Ashcroft,
Zohar Manna:
Translating Program Schemas to While-Schemes.
SIAM J. Comput. 4(2): 125-146 (1975) |
| 1973 |
|---|
| 2 | EE | Edward A. Ashcroft,
Zohar Manna,
Amir Pnueli:
Decidable Properties of Monadic Functional Schemas.
J. ACM 20(3): 489-499 (1973) |
| 1971 |
|---|
| 1 | | Edward A. Ashcroft,
Zohar Manna:
The Translation of 'Go To' Programs to 'While' Programs.
IFIP Congress (1) 1971: 250-255 |
