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.
A study for inter-node communication in functionally distributed systems
Fantechi A;Gnesi S;
1985
Abstract
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.File in questo prodotto:
| File | Dimensione | Formato | |
|---|---|---|---|
|
prod_420251-doc_148871.pdf
accesso aperto
Descrizione: A study for inter-node communication in functionally distributed systems
Dimensione
1.73 MB
Formato
Adobe PDF
|
1.73 MB | Adobe PDF | Visualizza/Apri |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
