“…On the other hand, Matthews [16] introduced the concept of a partial metric as a part of the study of denotational semantics of dataflow networks. He gave a modified version of the Banach contraction principle, more suitable in this context (see also [2,3,10,13,19,20,27]). In fact, (complete) partial metric spaces constitute a suitable framework to model several distinguished examples of the theory of computation and also to model metric spaces via domain theory (see, [9,14,16,23,25,28]).…”