%0 Conference Proceedings
%T Concurrent Pattern Calculus
%+ Centre for Quantum Computation and Intelligent Systems &, School of Software
%+ Dip. di Informatica
%A Given-Wilson, Thomas
%A Gorla, Daniele
%A Jay, Barry
%< avec comité de lecture
%( IFIP Advances in Information and Communication Technology
%B 6th IFIP TC 1/WG 2.2 International Conference on Theoretical Computer Science (TCS) / Held as Part of World Computer Congress (WCC)
%C Brisbane, Australia
%Y Cristian S. Calude; Vladimiro Sassone
%I Springer
%3 Theoretical Computer Science
%V AICT-323
%P 244-258
%8 2010-09-20
%D 2010
%R 10.1007/978-3-642-15240-5_18
%Z Computer Science [cs]/Digital Libraries [cs.DL]Conference papers
%X 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.
%G English
%2 https://inria.hal.science/hal-01054456/document
%2 https://inria.hal.science/hal-01054456/file/03230244.pdf
%L hal-01054456
%U https://inria.hal.science/hal-01054456
%~ IFIP
%~ IFIP-AICT
%~ IFIP-AICT-323
%~ IFIP-TC
%~ IFIP-TC1
%~ IFIP-TC2
%~ IFIP-TCS
%~ IFIP-WG2-2
%~ IFIP-WCC
%~ IFIP-2010