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.
Users
Please
log in to take part in the discussion (add own reviews or comments).