Concurrent Pattern Calculus

Publication Type:
Conference Proceeding
IFIP Advances in Information and Communication Technology - Theoretical Computer Science - Proceedings of 6th IFIP TC 1/WG 2.2 International Conference, 2010, pp. 244 - 258
Issue Date:
Full metadata record
Files in This Item:
Filename Description Size
Thumbnail2010001313OK.pdf447.29 kB
Adobe PDF
Concurrent pattern calculus drives interaction between processes by unifying patterns, just as sequential pattern calculus drives computation by matching a pattern against a data structure. By generalising from pattern matching to 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 calculus.
Please use this identifier to cite or link to this item: