Nella tesi viene discusso un formalismo per sistemi quantistici finito-dimensionali, cioe che hanno uno spazio degli stati di dimensione finita, basato sulla teoria dei processi, con fondazione matematica nella teoria delle categorie. In questo formalismo stati, osservabili, evoluzione temporale e misure sono descritti in termini di processi e ammettono una rappresentazione grafica con diagrammi, sia per sistemi isolati che per sistemi aperti. Molte proprieta di questi sistemi possono essere derivate semplicemente manipolando tali diagrammi.