Edward A. Ashcroft

	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		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-Schemas. SIAM J. Comput. 4(2): 125-146 (1975)
	1973
2		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

Coauthor Index

1	Faith Ellen (Faith Ellen Fich, Faith E. Fich)	[12]
2	Matthew Hennessy	[6] [9] [13]
3	R. Jagannathan	[17]
4	Leah H. Jamieson	[16]
5	Zohar Manna	[1] [2] [3]
6	Sirisha Medidi	[18]
7	Amir Pnueli	[2]
8	William W. Wadge	[5] [7] [8] [10] [11] [14]

Colors in the list of coauthors

Last update Sat May 26 04:23:17 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page