Institutional Repository

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

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

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 ...
  • pGCL: formal reasoning for random algorithms 
    Morgan, C; McI, A (South African Computer Society (SAICSIT), 1998)
    Dijkstra's guarded-command language GCL contains explicit 'demonic' nondeterminism, representing abstraction from (or ignorance of ) which of two program fragments will be executed. We introduce probabilistic nondeterminism ...

Search UnisaIR


Browse

My Account