We stand with Ukraine  

David Walker

Affiliations:
  • Oxford University, Oxford, UK
  • University of Warwick, Coventry, UK (former)


According to our database1, David Walker authored at least 17 papers between 1994 and 2005.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2005
Types and full abstraction for polyadic <i>pi</i>-calculus.
[BibTeX]
[DOI]
Paola Quaglia
,
David Walker
Inf. Comput., 2005

2001
A Process-Calculus Analysis of Concurrent Operations on B-Trees.
[BibTeX]
[DOI]
Anna Philippou
,
David Walker
J. Comput. Syst. Sci., 2001

On Barbed Equivalences in pi-Calculus.
[BibTeX]
[DOI]
Davide Sangiorgi
,
David Walker
Proceedings of the CONCUR 2001, 2001

The Pi-Calculus - a theory of mobile processes.
[BibTeX]
Davide Sangiorgi
,
David Walker
Cambridge University Press, ISBN: 978-0-521-78177-0, 2001

2000
On Synchronous and Asynchronous Mobile Processes.
[BibTeX]
[DOI]
Paola Quaglia
,
David Walker
Proceedings of the Foundations of Software Science and Computation Structures, 2000

Concurrent objects as mobile processes.
[BibTeX]
Xinxin Liu
,
David Walker
Proceedings of the Proof, Language, and Interaction, Essays in Honour of Robin Milner, 2000

1998
On Transformations of Concurrent-Object Programs.
[BibTeX]
[DOI]
Anna Philippou
,
David Walker
Theor. Comput. Sci., 1998

Partial Confluence of Proceses and Systems of Objects.
[BibTeX]
[DOI]
Xinxin Liu
,
David Walker
Theor. Comput. Sci., 1998

On Encoding p-pi in m-pi.
[BibTeX]
[DOI]
Paola Quaglia
,
David Walker
Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1998

1997
On Confluence in the pi-Calculus.
[BibTeX]
[DOI]
Anna Philippou
,
David Walker
Proceedings of the Automata, Languages and Programming, 24th International Colloquium, 1997

A Rigorous Analysis of Concurrent Operations on B-Trees.
[BibTeX]
[DOI]
Anna Philippou
,
David Walker
Proceedings of the CONCUR '97: Concurrency Theory, 1997

1996
Social Confluence in Client-Server Systems.
[BibTeX]
[DOI]
Anna Philippou
,
David Walker
Proceedings of the Computer Science Logic, 10th International Workshop, 1996

1995
Confluence of Processes and Systems of Objects.
[BibTeX]
[DOI]
Xinxin Liu
,
David Walker
Proceedings of the TAPSOFT'95: Theory and Practice of Software Development, 1995

On Sharing and Determinacy in Concurrent Systems.
[BibTeX]
[DOI]
Anna Philippou
,
David Walker
Proceedings of the CONCUR '95: Concurrency Theory, 1995

A Polymorphic Type System for the Polyadic pi-calculus.
[BibTeX]
[DOI]
Xinxin Liu
,
David Walker
Proceedings of the CONCUR '95: Concurrency Theory, 1995

1994
Algebraic Proofs of Properties of Objects.
[BibTeX]
[DOI]
David Walker
Proceedings of the Programming Languages and Systems, 1994

On Bisimulation in the pi-calculus.
[BibTeX]
[DOI]
David Walker
Proceedings of the CONCUR '94, 1994


  Loading...