Concurrent Pattern Calculus

Thomas Given-Wilson, Daniele Gorla, Barry Jay. Concurrent Pattern Calculus. In Cristian S. Calude, Vladimiro Sassone, editors, Theoretical Computer Science - 6th IFIP TC 1/WG 2.2 International Conference, TCS 2010, Held as Part of WCC 2010, Brisbane, Australia, September 20-23, 2010. Proceedings. Volume 323 of IFIP, pages 244-258, Springer, 2010. [doi]

Abstract

Abstract is missing.