Browsing Informatics thesis and dissertation collection by Sponsor "Consiglio Nazionale delle Ricerche, Italy."
Now showing items 1-1 of 1
(The University of Edinburgh, 1993)We study mobile systems, i.e. systems with a dynamically changing communication topology, from a process algebras point of view. Mobility can be introduced in process algebras by allowing names or terms to be transmitted. ...