µ-Charts and Z: hows, whys and wherefores

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.