División de Tecnología de la Información – EPDA
EPDA GRINI is tool which facilitates the installation and start of the basic group services of a distributed system. The specification of the services is done by means of an Ada-like configuration language. The tool verifies that all the components of the service verify their specification, install the corresponding processes and start all the servers. […]