Browsing by Subject "local variables"

Now showing items 1-1 of 1

  • µ-Charts and Z: Examples and extensions

    Reeve, Greg; Reeves, Steve (IEEE COMPUTER SOC, 2000-12-01)
    μ-Charts are a way of specifying reactive systems, i.e. systems which are in some environment to which they have to react, based on the well-established formalism Statecharts. This paper gives (very abbreviated) examples ...