Concurrent Pattern Calculus

Abstract. Concurrent pattern calculus drives interaction between processes by comparing data structures, just as sequential pattern calculus drives computation. By generalising from pattern matching to pattern unification, interaction becomes symmetrical, with information flowing in both directions. This provides a natural language for describing any form of exchange or trade. Many popular process calculi can be encoded in concurrent pattern calculi.

• Type: Journal
• Year: 2010
• Where: IFIPTCS
• Authors: Thomas Given-Wilson, Daniele Gorla, Barry Jay
• Keywords: Concurrent Pattern, Concurrent Pattern Calculi, IFIPTCS 2010, Popular Process Calculi, Theoretical Computer Science