Giovanny F. Lucero, Fábio Q. B. da Silva.
In Configuration Programming, distributed systems are described using a two level language: a programming level and a configuration level. Configuration Programming thus separates the description of program structure from the programming of computational components. In the present paper we provide the semantics for the configuration level of a language which allows dynamic reconfigurations. The semantics is given by translating the language into the pi-calculus. Clique no link abaixo para buscar o texto completo deste trabalho na Web: Buscar na Web