Unitarietà della successione mortis causa, successioni anomale e separate, alla luce delle recenti evoluzioni legislative

L'Autore opera una ricostruzione teorica del concetto di unità della successione, apprezzandone diverse sfumature: un significato più ristretto, per cui esso si lega al concetto di universitas ed individua appunto come unico il complesso delle situazioni giuridiche soggettive riferibili al de cuius; un secondo concetto più ampio, per cui unitarietà della successione mortis causa è il fenomeno per cui la successione nella somma delle posizioni giuridiche spettanti al defunto riceve una unica regolazione legislativa; un terzo profilo, che abbandona il concetto di successione mortis causa in senso giuridico, per accostarsi ad un concetto (piuttosto di natura economica)di unità della vicenda successoria. Se il concetto di unità della successione possiede un triplice, valore, anche la deroga ad esso potrà assumere diverse vesti, a seconda che incida sul primo, sul secondo o sul terzo di questi significati. Se il terzo profilo riguarda piuttosto un concetto economico e non tecnico di successione, ed importa conseguentemente deroghe solo indirette all’unità della successione, l’anomalia può essere di due tipi: possono essere dettate regole particolari per singoli beni, che però rimangono entro l’unica massa ereditaria, pur avendo una destinazione loro propria, e può invece essere creata dal legislatore una separata massa per cui si fa luogo ad una distinta regolazione successoria. Procedendo nella classificazione, le ipotesi di una deroga del primo tipo possono essere definite successioni speciali, riservando alla seconda classe di anomalie il nome di successioni separate. Conclusivamente, l'autore rileva che la disciplina della vicenda successoria, così come consegnata dalla tradizione e sancita ancora nelle norme della codificazione del 1942, non è più caratterizzata dall’assoluto dominio del principio di unità della successione, anche perché non si è rivelata, nella esperienza giuridica successiva alla codificazione, del tutto adeguata, in relazione a determinate categorie di beni e ad alcune categorie di soggetti coinvolti. Il legislatore ha infatti ritenuto di introdurre deroghe, via via maggiori al principio, con riferimento sia ai beni d’impresa sia alla particolare posizione – ed agli interessi tutelati – dei soggetti più vicini al de cuius, come il coniuge ed i parenti che vivessero a suo carico.

Type Systems for Distributed Programs: Components and Sessions

Modern software systems, in particular distributed ones, are everywhere around us and are at the basis of our everyday activities. Hence, guaranteeing their cor- rectness, consistency and safety is of paramount importance. Their complexity makes the verification of such properties a very challenging task. It is natural to expect that these systems are reliable and above all usable. i) In order to be reliable, compositional models of software systems need to account for consistent dynamic reconfiguration, i.e., changing at runtime the communication patterns of a program. ii) In order to be useful, compositional models of software systems need to account for interaction, which can be seen as communication patterns among components which collaborate together to achieve a common task. The aim of the Ph.D. was to develop powerful techniques based on formal methods for the verification of correctness, consistency and safety properties related to dynamic reconfiguration and communication in complex distributed systems. In particular, static analysis techniques based on types and type systems appeared to be an adequate methodology, considering their success in guaranteeing not only basic safety properties, but also more sophisticated ones like, deadlock or livelock freedom in a concurrent setting. The main contributions of this dissertation are twofold. i) On the components side: we design types and a type system for a concurrent object-oriented calculus to statically ensure consistency of dynamic reconfigurations related to modifications of communication patterns in a program during execution time. ii) On the communication side: we study advanced safety properties related to communication in complex distributed systems like deadlock-freedom, livelock- freedom and progress. Most importantly, we exploit an encoding of types and terms of a typical distributed language, session π-calculus, into the standard typed π- calculus, in order to understand their expressive power.