Methods and apparatus are described for processing a set of GNSS signal data derived from code observations and carrier-phase observations at multiple receivers of GNSS signals of multiple satellites over multiple epochs, the GNSS signals having at least two carrier frequencies and a navigation message containing orbit information, comprising: obtaining precise orbit information for each satellite, determining at least one set of ambiguities per receiver, each ambiguity corresponding to one of a receiver-satellite link and a satellite-receiver-satellite link, and using at least the precise orbit information, the ambiguities and the GNSS signal data to estimate a phase-leveled clock per satellite.