Debits and Credits in Petri Nets and Linear Logic / Bartoletti, Massimo; Degano, Pierpaolo; Di Giamberardino, Paolo; Zunino, Roberto. - 9200:(2015), pp. 135-159. [10.1007/978-3-319-23165-5_6]

Debits and Credits in Petri Nets and Linear Logic

Zunino, Roberto
2015-01-01

2015
Logic, Rewriting, and Concurrency
Heidelberg, Germany
Springer International Publishing
978-3-319-23164-8
978-3-319-23165-5
Bartoletti, Massimo; Degano, Pierpaolo; Di Giamberardino, Paolo; Zunino, Roberto
Debits and Credits in Petri Nets and Linear Logic / Bartoletti, Massimo; Degano, Pierpaolo; Di Giamberardino, Paolo; Zunino, Roberto. - 9200:(2015), pp. 135-159. [10.1007/978-3-319-23165-5_6]
File in questo prodotto:
File Dimensione Formato  
main.pdf

accesso aperto

Tipologia: Post-print referato (Refereed author’s manuscript)
Licenza: Tutti i diritti riservati (All rights reserved)
Dimensione 434.7 kB
Formato Adobe PDF
434.7 kB Adobe PDF Visualizza/Apri

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/11572/110966
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 1
  • ???jsp.display-item.citation.isi??? 1
social impact