Tang, X. and Woodcock, J. (2004) Travelling processes. In: Mathematics of Program Construction, MPC 2004 Proceedings. 7th International Conference, MPC 2004, July 12-14, 2004, Stirling, Scotland, UK. Lecture Notes in Computer Science (3125). Springer , Berlin / Heidelberg , pp. 381-399. ISBN 978-3-540-22380-1
Full text not available from this repository.
Published Version: http://dx.doi.org/10.1007/b98756
| Item Type: | Proceedings Paper |
|---|---|
| Academic Units: | The University of York > Computer Science (York) |
| Depositing User: | York RAE Import |
| Date Deposited: | 08 Apr 2009 15:10 |
| Last Modified: | 08 Apr 2009 15:10 |
| Published Version: | http://dx.doi.org/10.1007/b98756 |
| Status: | Published |
| Publisher: | Springer |
| Identification Number: | 10.1007/b98756 |
| URI: | http://eprints.whiterose.ac.uk/id/eprint/6921 |
Actions (login required)
 |
View Item |
