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

2006
360(1-3)
440
458
M. BOREALE; F.GADDUCCI
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.

Utilizza questo identificatore per citare o creare un link a questa risorsa: https://hdl.handle.net/2158/202108
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 10
  • ???jsp.display-item.citation.isi??? 7
social impact