Algebre di Processi e le Origini della Nozione di Vera Concorrenza

La tesi si occupa di presentare alcuni dei concetti più importanti relativi alle algebre di processi, per poi analizzare una corrispondenza via mail tra alcuni dei massimi esperti nel campo della concorrenza tra processi. Il tema principale toccato dalla discussione in esame è quello delle differenze tra vera concorrenza e concorrenza interleaving, e i suoi protagonisti sono Vaughan Pratt, che si schiera a favore della vera concorrenza, e Leslie Lamport, che invece sostiene l'interleaving.