<> "The repository administrator has not yet configured an RDF license."^^ . <> . . . "A Software Framework for Rapid Prototyping of Run-Time Systems for Mobile Calculi"^^ . "We describe the architecture and the implementation of the Mikado software framework, that we call IMC (Implementing Mobile Calculi). The framework aims at providing the programmer with primitives to design and implement run-time systems for distributed process calculi. The paper describes the four main components of abstract machines for mobile calculi (node topology, naming and binding, communication protocols and mobility) that have been implemented as Java packages. The paper also contains the description of a prototype implementation of a run-time system for the Distributed Pi-Calculus relying on the presented framework. "^^ . "2004" . "3267" . . "Springer"^^ . . "Springer"^^ . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . "Vasco Thudichum"^^ . "Vasconcelos"^^ . "Vasco Thudichum Vasconcelos"^^ . . "Daniele"^^ . "Falassi"^^ . "Daniele Falassi"^^ . . "Marc"^^ . "Lacoste"^^ . "Marc Lacoste"^^ . . "Lorenzo"^^ . "Bettini"^^ . "Lorenzo Bettini"^^ . . "Herve"^^ . "Paulino"^^ . "Herve Paulino"^^ . . "Paola"^^ . "Quaglia"^^ . "Paola Quaglia"^^ . . "Licinio"^^ . "Oliveira"^^ . "Licinio Oliveira"^^ . . "Rocco"^^ . "De Nicola"^^ . "Rocco De Nicola"^^ . . "Corrado"^^ . "Priami"^^ . "Corrado Priami"^^ . . "Luis M. B."^^ . "Lopes"^^ . "Luis M. B. Lopes"^^ . . . . . "HTML Summary of #314 \n\nA Software Framework for Rapid Prototyping of Run-Time Systems for Mobile Calculi\n\n" . "text/html" . . . "QA75 Electronic computers. Computer science"@en . . . "QA76 Computer software"@en . .