A survey of probabilistic approaches to quantum dynamical semigroups with unbounded generators is given. An emphasis is made upon recent advances in the structural theory of covariant Markovian master equations. As an example, a complete characterizations of the Galilean covariant irreversible quantum Markovian evolutions is given in terms of the corresponding quantum master and Langevin equati...

The design and implementation of a software system is often governed by many different coding conventions, design patterns, architectural design rules, and other so-called structural regularities. To prevent a deterioration of the system’s source code, it is important that these regularities are verified and enforced in subsequent evolutions of the system. The Intensional Views Environment (Int...

Refactorings are program transformations that improve the software structure while preserving the external behaviour. In spite of this very useful property, refactorings can still give rise to structural conflicts when parallel evolutions to the same software are made by different developers. This paper explores this problem of structural evolution conflicts in a formal way by using graph trans...

The importance of the notion of symmetry in quantum theory cannot be overstimated [1]. The associated statespace decomposition into dynamically invariant sectors is a highly desirable property in that it can strongly simplify the analysis of the system evolution. Suppose that on the state-space H of a quantum system S acts a group G via a representation ρ. In general the Hamiltonian H of S is n...