Paul Howells, Mark d'Inverno. Successful Termination in Timed CSP. In Peter H. Welch, Frederick R. M. Barnes, Jan F. Broenink, Kevin Chalmers, Jan Bækgaard Pedersen, Adam T. Sampson, editors, 35th Communicating Process Architectures, CPA 2013, organised under the auspices of WoTUG, Edinburgh, Scotland, UK, August 25, 2013. pages 21-38, Open Channel Publishing Ltd., 2013. [doi]
Abstract is missing.