This thesis explores the possibility of an algebraic formulation of non-relativistic quantum theory in which certain paradoxes associated with non-locality may be resolved. It is shown that the localisation of a free quantum mechanical wave function at large time coincides approximately with the localisation of an ensemble of classical particles having the same momentum range. This result is used to give a formal definition of spatially separating states and spatially separating particles. We then study certain C*-algebras on which expectation values converge in an infinite time limit. By considering such algebras which contain local observables it is possible to introduce states at infinity as limits of states described by wave functions. In such a state at infinity there is zero probability of a position measurement finding the system in any bounded region in configuration space. It is shown that a C*-algebra exists on which any coherent superposition of spatially separating states will converge in an infinite time limit to a mixture of disjoint states. This allows us to obtain an asymptotic resolution of de Broglie's paradox and the Einstein, Podolsy and Rosen paradox. These results are obtained for the simplest types of quantum systems i.e. a one particle system without spin having configuration space IRn and a system consisting of two such particles which may be distinguished from each other.