Uwe Nestmann
3 published titles
Decoding choice encodings
1 edition
- University of Cambridge Computer Laboratory
- 1996
- Details
Local [pi]-calculus at work : mobile objects as mobile processes
(Contributor)
1 edition
- Computer Science, University of Sussex
- 2001
- Details
Formal methods for open object-based distributed systems : 6th IFIP WG 6.1 international conference, FMOODS 2003, Paris, France, November 19-21, 2003 : proceedings
(Contributor)
1 edition
- ISBN: 3540204911
- Springer-Verlag
- 2003
- Details
