CRIS Current Research Information System

Effectful Normal Form Bisimulation / Dal Lago U.; Gavazzo F.. - ELETTRONICO. - 11423:(2019), pp. 263-292. (Intervento presentato al convegno 28th European Symposium on Programming, ESOP 2019 Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019 tenutosi a cze nel 2019) [10.1007/978-3-030-17184-1_10].

Effectful Normal Form Bisimulation

Dal Lago U.
;Gavazzo F.
2019
2019
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
263
292
Effectful Normal Form Bisimulation / Dal Lago U.; Gavazzo F.. - ELETTRONICO. - 11423:(2019), pp. 263-292. (Intervento presentato al convegno 28th European Symposium on Programming, ESOP 2019 Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019 tenutosi a cze nel 2019) [10.1007/978-3-030-17184-1_10].
Dal Lago U.; Gavazzo F.
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.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11585/704236
 Attenzione

Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo

Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 17
  • ???jsp.display-item.citation.isi??? 11
social impact