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


  • Tang, X.
  • Woodcock, J. (
  • 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:
Status: Published
Publisher: Springer
Series Name: Lecture Notes in Computer Science
Identification Number:

Download not available

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

Share / Export