Comparing 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
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.