%0 Book Section %1 reeve_0a_μ-charts %A Reeve, Greg %A Reeves, Steve %D 2000a %J Integrated Formal Methods %K mu-charts refinement semantics \_folder\_3 statecharts \_pdf csp z 2000 %P 255--276 %R http://dx.doi.org/10.1007/3-540-40911-4\_15 %T μ-Charts and Z: Hows, Whys, and Wherefores %U http://dx.doi.org/10.1007/3-540-40911-4\_15 %X 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.

@incollection{reeve_0a_μ-charts, abstract = {In this paper we show, by a series of examples, how the \^{I}¼- 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.}, added-at = {2009-03-10T04:37:30.000+0100}, author = {Reeve, Greg and Reeves, Steve}, biburl = {https://www.bibsonomy.org/bibtex/20c1bcf9bcfecadd40dfdd79df622d607/leonardo}, citeulike-article-id = {1822498}, doi = {http://dx.doi.org/10.1007/3-540-40911-4\_15}, interhash = {1a0e498b8a9098694722e7045124de74}, intrahash = {0c1bcf9bcfecadd40dfdd79df622d607}, journal = {Integrated Formal Methods}, keywords = {mu-charts refinement semantics \_folder\_3 statecharts \_pdf csp z 2000}, pages = {255--276}, posted-at = {2007-10-25 23:32:46}, priority = {4}, timestamp = {2009-03-10T04:37:30.000+0100}, title = {\^{I}¼-Charts and Z: Hows, Whys, and Wherefores}, url = {http://dx.doi.org/10.1007/3-540-40911-4\_15}, year = {2000a} }