Abstract
The Gamma formalism was proposed to capture the intuition of computation as the global evolution of a collection of atomic values interacting freely. It is formalism for the definition of programs without any artificial sequentiality.. Gamma involves two different kinds of terms: the multisets and the programs. In this paper, we exploit the expressive power of Gamma to specify several variants of PM Quadtrees leaving aside extraneous details and avoiding artificial sequentiality.