Tilbage til artikeldetaljer Petri Nets as Models of Linear Logic Download Download PDF