N. Busi, M. Gabbrielli, G. Zavattaro (2009). On the expressive power of recursion, replication and iteration in process calculi. MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, 19(6), 1191-1222 [10.1017/S096012950999017X].
On the expressive power of recursion, replication and iteration in process calculi
BUSI, NADIA;GABBRIELLI, MAURIZIO;ZAVATTARO, GIANLUIGI
2009
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.