David Walker
2 published titles
Modal logics for mobile processes
(Contributor)
1 edition
- LFCS, Dept. of Computer Science, University of Edinburgh
- 1991
- Details
The [pi]-calculus : a theory of mobile processes
(Contributor)
1 edition
- ISBN: 0521781779
- Cambridge University Press
- 2001
- Details