Debits and Credits in Petri Nets and Linear Logic

Bartoletti, Massimo; Degano, Pierpaolo; Di Giamberardino, Paolo; Zunino, Roberto

doi:10.1007/978-3-319-23165-5_6

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

Bartoletti, Massimo;Degano, Pierpaolo;Di Giamberardino, Paolo;Zunino, Roberto

2015-01-01

Scheda breve

Scheda completa

Scheda completa (DC)

	Anno di pubblicazione (Date of publication)
	
				2015
			
	Titolo del libro (Book title)
	
				Logic, Rewriting, and Concurrency
			
	Luogo di edizione (Place of publication)
	
				Heidelberg, Germany
			
	Casa editrice (Publisher)
	
				Springer International Publishing
			
	ISBN
	
				978-3-319-23164-8
978-3-319-23165-5
			
	Tutti gli autori
	
						Bartoletti, Massimo; Degano, Pierpaolo; Di Giamberardino, Paolo; Zunino, Roberto
					
	Citazione
	
				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]
			
	Appare nelle tipologie:
	
				02.1 Saggio su volume miscellaneo o Capitolo di libro (Essay or Book Chapter)

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 Visualizza/Apri	434.7 kB	Adobe PDF	Visualizza/Apri