Hennessy, Matthew; Rathke, Julian; Yoshida, Nobuko safeDpi: a language for controlling mobile code. (English) Zbl 1081.68003 Acta Inf. 42, No. 4-5, 227-290 (2005). MSC: 68M14 68N15 PDF BibTeX XML Cite \textit{M. Hennessy} et al., Acta Inf. 42, No. 4--5, 227--290 (2005; Zbl 1081.68003) Full Text: DOI
Hennessy, Matthew; Rathke, Julian; Yoshida, Nobuko SafeDpi: A language for controlling mobile code (extended abstract). (English) Zbl 1126.68501 Walukiewicz, Igor (ed.), Foundations of software science and computation structures. 7th international conference, FOSSACS 2004, held as part of the joint European conferences on theory and practice of software, ETAPS 2004, Barcelona, Spain, March 29 – April 2, 2004. Procedings. Berlin: Springer (ISBN 3-540-21298-1/pbk). Lecture Notes in Computer Science 2987, 241-256 (2004). MSC: 68Q85 68N30 PDF BibTeX XML Cite \textit{M. Hennessy} et al., Lect. Notes Comput. Sci. 2987, 241--256 (2004; Zbl 1126.68501) Full Text: DOI