Travelling processes

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

Authors/Creators:
  • Tang, X.
  • Woodcock, J. (jim@cs.york.ac.uk)
Dates:
  • Published: 2004
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: https://doi.org/10.1007/b98756

Download not available

A full text copy of this item is not currently available from White Rose Research Online

Export

Statistics