SafeDpi swMATH ID: 1989 Software Authors: Hennessy, Matthew; Rathke, Julian; Yoshida, Nobuko Description: SafeDpi: A language for controlling mobile code safeDpi is a distributed version of the Picalculus, in which processes are located at dynamically created sites. Parametrised code may be sent between sites using so-called ports, which are essentially higher-order versions of Picalculus communication channels. A host location may protect itself by only accepting code which conforms to a given type associated to the incoming port. We define a sophisticated static type system for these ports, which restrict the capabilities and access rights of any processes launched by incoming code. Dependent and existential types are used to add flexibility, allowing the behaviour of these launched processes, encoded as process types, to depend on the host’s instantiation of the incoming code. We also show that a natural contextually defined behavioural equivalence can be characterised coinductively, using bisimulations based on typed actions. The characterisation is based on the idea of knowledge acquisition by a testing environment and makes explicit some of the subtleties of determining equivalence in this language of highly constrained distributed code. Homepage: https://www.scss.tcd.ie/Matthew.Hennessy/pubs/sdpifinal.pdf Related Software: JoCaml; MJ; Jif; Featherweight Java; Cyclone; XPath; XDuce; XPi; MetaOCaml; PiDuce; Freshml; ULM; Pict; OCaml; VESTA; TALx86; PLAN; Linda; ArchJava Cited in: 13 Publications Standard Articles 1 Publication describing the Software, including 1 Publication in zbMATH Year SafeDpi: A language for controlling mobile code (extended abstract). Zbl 1126.68501Hennessy, Matthew; Rathke, Julian; Yoshida, Nobuko 2004 all top 5 Cited by 27 Authors 3 Hennessy, Matthew C. B. 3 Rathke, Julian 3 Schmitt, Alan 3 Stefani, Jean-Bernard 3 Yoshida, Nobuko 2 Lenglet, Sergueï 2 Zappa Nardelli, Francesco 1 Allen-Williams, Mair 1 Bugliesi, Michele 1 Castagna, Giuseppe 1 Colazzo, Dario 1 Crafa, Silvia 1 Dezani-Ciancaglini, Mariangiola 1 Gardner, Philippa Anne 1 Ghilezan, Silvia 1 Habouzit, Pierre 1 Hym, Samuel 1 Jakšić, Svetlana 1 Leifer, James J. 1 Macedonio, Damiano 1 Maffeis, Sergio 1 Merro, Massimo 1 Pantović, Jovanka 1 Sewell, Peter 1 Vafeiadis, Viktor 1 Vitek, Jan 1 Wansbrough, Keith all top 5 Cited in 6 Serials 3 Information and Computation 1 Acta Informatica 1 Theoretical Computer Science 1 MSCS. Mathematical Structures in Computer Science 1 Journal of Functional Programming 1 The Journal of Logic and Algebraic Programming Cited in 2 Fields 13 Computer science (68-XX) 1 Mathematical logic and foundations (03-XX) Citations by Year