Expressing mobility in process algebras : first-order and higher-order paradigms
Thesis, Dissertation, English, [1993]
University of Edinburgh, Dept. of Computer Science, Edinburgh, [1993]