Letu Yang, Michael Poppleton. JCSProB: Implementing Integrated Formal Specifications in Concurrent Java. 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 67-88, IOS Press, 2007.
Abstract is missing.