UNITesi

Tableaux, automata and games for true concurrency properties

PADOAN, TOMMASO
2019
2-dic-2019
Inglese
program semantics, verification, model checking, true concurrency, event structures, Petri nets, tableaux, tree automata, games
SARTORI, GIUSEPPE
Università degli studi di Padova
Università degli Studi di Padova
File in questo prodotto:
File Dimensione Formato  
padoan_tommaso_tesi.pdf

accesso aperto

Dimensione 1.54 MB
Formato Adobe PDF
Visualizza/Apri
1.54 MB Adobe PDF Visualizza/Apri

I documenti in UNITESI 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/20.500.14242/174696
Il codice NBN di questa tesi è URN:NBN:IT:UNIPD-174696