%% lmcs:774 %% https://lmcs.episciences.org/774 %% @article{lmcs:774, TITLE = {{A Concurrent Pattern Calculus}}, AUTHOR = {Thomas Given-Wilson and Daniele Gorla and Barry Jay}, URL = {https://lmcs.episciences.org/774}, DOI = {10.2168/LMCS-10(3:10)2014}, JOURNAL = {{Logical Methods in Computer Science}}, VOLUME = {{Volume 10, Issue 3}}, YEAR = {2014}, MONTH = Aug, KEYWORDS = {Computer Science - Logic in Computer Science ; Computer Science - Formal Languages and Automata Theory}, }