Processes as formal power series: A coinductive approach to denotational semantics / M. BOREALE; F.GADDUCCI. - In: THEORETICAL COMPUTER SCIENCE. - ISSN 0304-3975. - STAMPA. - 360(1-3):(2006), pp. 440-458. [10.1016/j.tcs.2006.05.030]
Processes as formal power series: A coinductive approach to denotational semantics
BOREALE, MICHELE;
2006
File in questo prodotto:
File | Dimensione | Formato | |
---|---|---|---|
TCS06-BG.pdf
Accesso chiuso
Tipologia:
Versione finale referata (Postprint, Accepted manuscript)
Licenza:
Tutti i diritti riservati
Dimensione
334.38 kB
Formato
Adobe PDF
|
334.38 kB | Adobe PDF | Richiedi una copia |
I documenti in FLORE sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.