Institutional Repository

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

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

Sort by: Order: Results:

  • Jayasekera, U; Philips, N.C.K. (South African Institute of Computer Scientists and Information Technologists, 1992)
    The parallel conditional, a natural generalisation of both Lisp's COND and Dijkstra's guarded commands, is particularly suited to parallel processing. This note describes the implementation of a preprocessor that enables ...
  • 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