µ-Charts and Z: hows, whys and wherefores
Citation
Export citationReeve, G. & Reeves, S. (2000). µ-Charts and Z: hows, whys and wherefores. (Working paper 00/06). Hamilton, New Zealand: University of Waikato, Department of Computer Science.
Permanent Research Commons link: https://hdl.handle.net/10289/1022
Abstract
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.
Date
2000-03Type
Report No.
00/06
Publisher
University of Waikato, Department of Computer Science
Collections
- 2000 Working Papers [12]