Proceedings of the International Workshop on Expressiveness in Concurrency 1999
Towards Verified Lazy Implementation of Concurrent Value-Passing Languages / Ingolfsdottir, Anna; Pugliese, Rosario. - In: ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE. - ISSN 1571-0661. - ELETTRONICO. - 27:(1999), pp. 18-24. [10.1016/S1571-0661(05)80292-0]
Towards Verified Lazy Implementation of Concurrent Value-Passing Languages
PUGLIESE, ROSARIO
1999
Abstract
Proceedings of the International Workshop on Expressiveness in Concurrency 1999
File in questo prodotto:
| File | Dimensione | Formato | |
|---|---|---|---|
|
99EXPRESS-Towards Verified Lazy Implementation of Concurrent Value-Passing Languages.pdf
Accesso chiuso
Tipologia:
Altro
Licenza:
Tutti i diritti riservati
Dimensione
413.08 kB
Formato
Adobe PDF
|
413.08 kB | Adobe PDF | Richiedi una copia |
I documenti in FLORE sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
