Wilson Ifill, Steve Schneider. A Step Towards Refining and Translating B Control Annotations to Handel-C. In Alistair A. McEwan, Steve A. Schneider, Wilson Ifill, Peter H. Welch, editors, The 30th Communicating Process Architectures Conference, CPA 2007, organised under the auspices of WoTUG and the University of Surrey, Guildford, Surrey, UK, 8-11 July 2007. Volume 65 of Concurrent Systems Engineering Series, pages 399-424, IOS Press, 2007.
Abstract is missing.