Bernhard H. C. Sputh, Alastair R. Allen. JCSP-Poison: Safe Termination of CSP Process Networks. In Jan F. Broenink, Herman W. Roebbers, Johan P. E. Sunter, Peter H. Welch, David C. Wood, editors, The 28th Communicating Process Architectures Conference, CPA 2005, organised under the auspices of WoTUG, Philips and the Technische Universiteit Eindhoven, Eindhoven, The Netherlands, 18-21 September 2005. Volume 63 of Concurrent Systems Engineering Series, pages 71-107, IOS Press, 2005.
Abstract is missing.