Browse by Person (creator, editor, contributor, etc.)
Up a level |
Number of items: 1.
2004
Tang, Xinbei. and Woodcock, Jim (2004) Travelling Processes. In: Kozen, Dexter, ed. MPC2004: The 7th International Conference on Mathematics of Program Construction. Lecture Notes in Computer Science, 3125. Springer-Verlag,, Stirling, Scotland, UK pp. 381-399. ISBN 3-540-22380-0. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) |