Browse by Person (creator, editor, contributor, etc.)
Number of items: 2.
Conference or workshop item
Tang, Xinbei and Woodcock, Jim
Towards Mobile Processes in Unifying Theories.
In: Cuellar, Jorge and Liu, Zhiming, eds.
Software Engineering and Formal Methods, 2004. SEFM 2004. Proceedings of the Second International Conference on.
IEEE Computer Society Press., Beijing, China
ISBN 0-7695-2222-X .
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)