Commutative C^* algebras and Gelfand theory through phase space methods | Synapse