Paolo Baldan - Theses

Master Thesis

Paolo Baldan
A fixed point theorem for the solution of domain equations in a category of trees (in italian)
Master Thesis - Computer science department - University of Udine
[PDF with HyperRefs]

PhD Thesis

Paolo Baldan
Modelling Concurrent Computations: from Contextual Petri Nets to Graph Grammars
PhD Thesis - Computer Science Department - University of Pisa
[PDF] [PDF with HyperRefs]