CRIS Current 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.
EnglishComparing Recursion, Replication, and Iteration in Process Calculi / N. BUSI; GABBRIELLI M.; G. ZAVATTARO. - STAMPA. - LNCS 3142(2004), pp. 307-319. ((Intervento presentato al convegno ICALP 04 tenutosi a Finlandia nel 2004.
| Titolo: | Comparing Recursion, Replication, and Iteration in Process Calculi |
| Autore/i: | BUSI, NADIA; GABBRIELLI, MAURIZIO; ZAVATTARO, GIANLUIGI |
| Autore/i Unibo: | |
| Anno: | 2004 |
| Titolo del libro: | Proceedings of ICALP 2004 |
| Pagina iniziale: | 307 |
| Pagina finale: | 319 |
| Data prodotto definitivo in UGOV: | 9-feb-2007 |
| Appare nelle tipologie: | 4.01 Contributo in Atti di convegno |
File in questo prodotto:
Eventuali allegati, non sono esposti
Utilizza questo identificativo per citare o creare un link a questo documento:
http://hdl.handle.net/11585/3639
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
Copyright © 2018