Institutional Repository

Browsing South African Computer Journal 1998(22) by Subject "Fixed point"

Browsing South African Computer Journal 1998(22) by Subject "Fixed point"

Sort by: Order: Results:

  • 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 ...

Search UnisaIR


Browse

My Account