Search the dblp DataBase
Christopher P. Wadsworth: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]
Publications of Author
- Michael J. C. Gordon, Robin Milner, L. Morris, Malcolm C. Newey, Christopher P. Wadsworth
A Metalanguage for Interactive Proof in LCF. [Citation Graph (3, 0)][DBLP]
POPL, 1978, pp:119-130 [Conf] - Simon A. Dobson, Christopher P. Wadsworth
Towards a theory of shared data in distributed systems. [Citation Graph (0, 0)][DBLP]
Software Engineering for Parallel and Distributed Systems, 1996, pp:170-182 [Conf] - Don Goodeve, Simon A. Dobson, Jonathan M. Nash, John R. Davy, Peter M. Dew, Mourad Kara, Christopher P. Wadsworth
Toward a Model for Shared Data Abstraction with Performance. [Citation Graph (0, 0)][DBLP]
J. Parallel Distrib. Comput., 1998, v:49, n:1, pp:156-167 [Journal] - Christopher P. Wadsworth
Continuations Revisited. [Citation Graph (0, 0)][DBLP]
Higher-Order and Symbolic Computation, 2000, v:13, n:1/2, pp:131-133 [Journal] - Christopher Strachey, Christopher P. Wadsworth
Continuations: A Mathematical Semantics for Handling Full Jumps. [Citation Graph (0, 0)][DBLP]
Higher-Order and Symbolic Computation, 2000, v:13, n:1/2, pp:135-152 [Journal] - Christopher P. Wadsworth
The Relation Between Computational and Denotational Properties for Scott's D_\infty-Models of the Lambda-Calculus. [Citation Graph (0, 0)][DBLP]
SIAM J. Comput., 1976, v:5, n:3, pp:488-521 [Journal] - Christopher P. Wadsworth
Approximate Reduction and Lambda Calculus Models. [Citation Graph (0, 0)][DBLP]
SIAM J. Comput., 1978, v:7, n:3, pp:337-356 [Journal]
Search in 0.001secs, Finished in 0.002secs
| NOTICE1 |
|---|
| System may not be available sometimes or not working properly, since it is still in development with continuous upgrades |
| NOTICE2 |
|---|
| The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP |
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002