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).
Comparing Recursion, Replication, and Iteration in Process Calculi
BUSI, NADIA;GABBRIELLI, MAURIZIO;ZAVATTARO, GIANLUIGI
2004
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.