Now showing items 1-1 of 1

  • µ-Charts and Z: hows, whys and wherefores

    Reeve, Greg; Reeves, Steve (University of Waikato, Department of Computer Science, 2000-03)
    In this paper we show, by a series of examples, how the µ-chart formalism can be translated into Z. We give reasons for why this is an interesting and sensible thing to do and what it might be used for.