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:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2005
2001
J. Comput. Syst. Sci., 2001
The Pi-Calculus - a theory of mobile processes.
Cambridge University Press, ISBN: 978-0-521-78177-0, 2001
2000
Proceedings of the Foundations of Software Science and Computation Structures, 2000
Concurrent objects as mobile processes.
Proceedings of the Proof, Language, and Interaction, Essays in Honour of Robin Milner, 2000
1998
Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1998
1997
Proceedings of the Automata, Languages and Programming, 24th International Colloquium, 1997
Proceedings of the CONCUR '97: Concurrency Theory, 1997
1996
Proceedings of the Computer Science Logic, 10th International Workshop, 1996
1995
Proceedings of the TAPSOFT'95: Theory and Practice of Software Development, 1995
Proceedings of the CONCUR '95: Concurrency Theory, 1995
Proceedings of the CONCUR '95: Concurrency Theory, 1995
1994
Proceedings of the Programming Languages and Systems, 1994