Complete partial metric spaces have partially metrizable computational models

We show that the domain of formal balls of a complete partial metric space (X, p) can be endowed with a complete partial metric that extends p and induces the Scott topology. This result, that generalizes well-known constructions of Edalat and Heckmann (Theoret. Comput. Sci. 1998) and Heckmann (Appl. Cat. Struct. 1998) for metric spaces and improves a recent result of Romaguera and Valero (Math. Struct. Comput. Sci. 2009), motivates a notion of a partially metrizable computational model which allows us to characterize those topological spaces that admit a compatible complete partial metric via this model.