Alistair A. McEwan. A Circus Development and Verification of an Internet Packet Filter. In Peter H. Welch, Jon M. Kerridge, Fred R. M. Barnes, editors, The 29th Communicating Process Architectures Conference, CPA 2006, organised under the auspices of WoTUG and the Napier University, Edinburgh, Scottland, UK, 17-20 September 2006. Volume 64 of Concurrent Systems Engineering Series, pages 339-362, IOS Press, 2006.
Abstract is missing.