Marc L. Smith. A Unifying Theory of True Concurrency Based on CSP and Lazy Observation. 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 177-188, IOS Press, 2005.
Abstract is missing.