Browsing by Author "Leduc, Ryan"

Now showing items 6-6 of 6

  • Seven abstraction rules preserving generalised nonblocking

    Malik, Robi; Leduc, Ryan (University of Waikato, Department of Computer Science, 2009-09-01)
    This working paper proposes a compositional approach to verify the generalised nonblocking property of discrete-event systems. Generalised nonblocking is introduced in [15] to overcome weaknesses of the standard nonblocking ...