Browse by Person (creator, editor, contributor, etc.)
Up a level |
Number of items: 2.
2004
Tang, Xinbei and Woodcock, Jim (2004) Towards Mobile Processes in Unifying Theories. In: Cuellar, Jorge and Liu, Zhiming, eds. SEFM2004: the 2nd IEEE International Conference on Software Engineering and Formal Methods. IEEE Computer Society Press., Beijing, China pp. 44-53. ISBN 0-7695-2222-X. (doi:https://doi.org/10.1109/SEFM.2004.1347502) (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) |
Tang, Xinbei (2004) Mobile Process in Unifying Theories. Technical report. University of Kent, Canterbury, Kent CT2 7NF (Full text available) |