PUMA
Istituto di Scienza e Tecnologie dell'Informazione     
Fantechi A., Gnesi S., Lijtmaer N. A study for inter-node communication in functionally distributed systems. Internal note IEI-B85-23, 1985.
 
 
Abstract
(English)
This work has been developed on the basis of a previous work made inside a project for a functionally distributede system (Cnet), in which an intern-node communication mechanism was defined in terms of Ada packages. This paper gives a more general framework of properties for desired communication schemes. Some design issues such as the use of formal verification techniques and the integration of the communication mechanism in a high level language are then discussed.
Subject


Icona documento 1) Download Document PDF


Icona documento Open access Icona documento Restricted Icona documento Private

 


Per ulteriori informazioni, contattare: Librarian http://puma.isti.cnr.it

Valid HTML 4.0 Transitional