The present invention relates to a method of processing Global Positioning System (GPS) carrier phase and pseudorange information. Dual-frequency carrier phase and pseudorange measurements from GPS receivers are processed by specifying separate oscillator parameters for the carrier phase and pseudorange measurements. Carrier phase estimates of errors of the oscillator are arbitrarily biased with respect to the pseudorange estimates, and ambiguity parameters are constrained to be integer-valued. Isolating the ambiguities as integer valued parameters provides extra information that can be exploited to maximize the use of GPS and other Global Navigation Satellite Systems.