jcsp.mobile: A Package Enabling Mobile Processes and Channels

Kevin Chalmers, Jon M. Kerridge. jcsp.mobile: A Package Enabling Mobile Processes and Channels. 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 109-127, IOS Press, 2005.

Abstract

Abstract is missing.