Coordination Languages and Models, 4th International Conference, COORDINATION 2000.
Proving the Correctness of Optimising Destructive and Non-destructive Reads over Tuple Spaces / R. De Nicola; R. Pugliese; A. Rowstrom. - STAMPA. - (2000), pp. 66-80. [10.1007/3-540-45263-X_5]
Proving the Correctness of Optimising Destructive and Non-destructive Reads over Tuple Spaces
PUGLIESE, ROSARIO;
2000
Abstract
Coordination Languages and Models, 4th International Conference, COORDINATION 2000.
File in questo prodotto:
| File | Dimensione | Formato | |
|---|---|---|---|
|
00COORD - Proving the correctness of optimising destructive and non-destructive reads over tuple spaces.pdf
Accesso chiuso
Tipologia:
Versione finale referata (Postprint, Accepted manuscript)
Licenza:
Tutti i diritti riservati
Dimensione
223.44 kB
Formato
Adobe PDF
|
223.44 kB | Adobe PDF | Richiedi una copia |
I documenti in FLORE sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
