CINECA IRIS Institutional Research Information System
IRIS è la soluzione IT che facilita la raccolta e la gestione dei dati relativi alle attività e ai prodotti della ricerca. Fornisce a ricercatori, amministratori e valutatori gli strumenti per monitorare i risultati della ricerca, aumentarne la visibilità e allocare in modo efficace le risorse disponibili.
EnglishStrategic directions in concurrency research / Cleaveland R; Smolka SA; Alur R; Baeten J; Bergstra JA; Best E; DeNicola R; Gill H; Gorrieri R; Gouda MG; Groote JF; Henzinger TA; Hoare CAR; Luginbuhl D; Meyer A; Miller D; Misra J; Moller F; Montanari U; Pnueli A; Prasad S; Pratt VR; Sifakis J; SmolkaChair SA; Steffen B; Thomsen B; Vaandrager F; Vardi M; Wolper P. - In: ACM COMPUTING SURVEYS. - ISSN 0360-0300. - STAMPA. - 28:4(1996), pp. 607-625.
| Autori interni: | |
| Autori: | Cleaveland R; Smolka SA; Alur R; Baeten J; Bergstra JA; Best E; DeNicola R; Gill H; Gorrieri R; Gouda MG; Groote JF; Henzinger TA; Hoare CAR; Luginbuhl D; Meyer A; Miller D; Misra J; Moller F; Montanari U; Pnueli A; Prasad S; Pratt VR; Sifakis J; SmolkaChair SA; Steffen B; Thomsen B; Vaandrager F; Vardi M; Wolper P |
| Titolo: | Strategic directions in concurrency research |
| Anno del prodotto: | 1996 |
| Digital Object Identifier (DOI): | 10.1145/242223.242252 |
| Appare nelle tipologie: | 1.1 Articolo in rivista |
File in questo prodotto:
Copyright © 2021