An analogue of the microlocalization in operator theory, T. Springer has introduced an algebraic microlocalization in the theory of filtered noncommutative rings.
microlocal analysis using hyperfunctions instead of Schwartz distributions? is also called algebraic microlocal analysis.
An alterantive way to algebraic microlocalization is given in
An introduction to the microlocal analysis of hyperfunctions is this: