Institutional Repository

Browsing College of Science, Engineering and Technology by Subject "Fixed point"

Browsing College of Science, Engineering and Technology by Subject "Fixed point"

Sort by: Order: Results:

  • A logic for the design of multiprogramming systems 
    Misra, J (South African Computer Society (SAICSIT), 1998)
    This paper presents a short introduction to the UNITY logic, a fragment of linear temporal logic. The logic was designed to specify safety and progress properties of reactive systems. A version of the UNITY ...
  • On completeness of partial metric spaces, symmetric spaces and some fixed point results 
    Moshokoa, Seithuti Philemon; Aphane, Maggie (2016-12)
    The purpose of the thesis is to study completeness of abstract spaces. In particular, we study completeness in partial metric spaces, partial metric type spaces, dislocated metric spaces, dislocated metric type spaces ...

Search UnisaIR


Browse

My Account