La logica computazionale quantistica dei sistemi aperti

There are physical phenomena that can be hardly interpreted by standard quantum paradigm: decoherence, noise, measurements in the middle of a computation - basically, any computational process that in- volves an interaction with the environment - call into play an unavoidable loss of information that renders the process itself irreversible. To conve- niently describe such situations, alongside with the kind of processes that