Relating and Visualising CSP, VCR and Structural Traces

Neil C. C. Brown, Marc L. Smith. Relating and Visualising CSP, VCR and Structural Traces. In Peter H. Welch, Herman W. Roebbers, Jan F. Broenink, Fred R. M. Barnes, Carl G. Ritson, Adam T. Sampson, Gardiner S. Stiles, Brian Vinter, editors, The thirty-second Communicating Process Architectures Conference, CPA 2009, organised under the auspices of WoTUG, Eindhoven, The Netherlands, 1-6 November 2009. Volume 67 of Concurrent Systems Engineering Series, pages 89-103, IOS Press, 2009. [doi]

Abstract

Abstract is missing.