Could not find the file: /6448/eprint_fieldname_related_url
The file you are trying to access may be related to this item:
Power, James F. and Sinclair, David (2001) A Formal Model of Forth Control Words in the Pi-Calculus. In: 6th International Workshop on Formal Methods for Industrial Critical Systems, 16-17 July 2001, Paris, France.
If you reached this page by following a link within the repository, please contact the MURAL - Maynooth University Research Archive Library administration. Otherwise, please check that you have typed the URL in correctly, or contact the person or site that supplied you with this URL.