Yoshinao Isobe. CONPASU-tool: A Concurrent Process Analysis Support Tool based on Symbolic Computation. In Peter H. Welch, Adam T. Sampson, Jan Bækgaard Pedersen, Jon M. Kerridge, Jan F. Broenink, Frederick R. M. Barnes, editors, 33th Communicating Process Architectures Conference, CPA 2011, organised under the auspices of WoTUG, Limerick, Ireland, June 19th, 2011. Volume 68 of Concurrent Systems Engineering Series, pages 341-362, IOS Press, 2011. [doi]
Abstract is missing.