Browsing by Subject "Non-blocking"

Now showing items 1-1 of 1

  • A process-algebraic semantics for generalised nonblocking.

    Ware, Simon; Malik, Robi (Australian Computer Society, Inc., 2012-01)
    Generalised nonblocking is a weak liveness property to express the ability of a system to terminate under given preconditions. This paper studies the notions of equivalence and refinement that preserve generalised nonblocking ...