Institutional Repository

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

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

Sort by: Order: Results:

  • 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