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
Metadata
Item Type: | Proceedings Paper |
---|---|
Authors/Creators: |
|
Dates: |
|
Institution: | The University of York |
Academic Units: | The University of York > Faculty of Sciences (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 |
Series Name: | Lecture Notes in Computer Science |
Identification Number: | 10.1007/b98756 |
Open Archives Initiative ID (OAI ID): | oai:eprints.whiterose.ac.uk:6921 |
Download not available
A full text copy of this item is not currently available from White Rose Research Online