{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,6]],"date-time":"2025-11-06T20:00:23Z","timestamp":1762459223129,"version":"3.41.2"},"reference-count":1,"publisher":"Centre pour la Communication Scientifique Directe (CCSD)","license":[{"start":{"date-parts":[[2014,8,23]],"date-time":"2014-08-23T00:00:00Z","timestamp":1408752000000},"content-version":"unspecified","delay-in-days":0,"URL":"https:\/\/arxiv.org\/licenses\/nonexclusive-distrib\/1.0"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"abstract":"<jats:p>Concurrent pattern calculus (CPC) drives interaction between processes by\ncomparing data structures, just as sequential pattern calculus drives\ncomputation. By generalising from pattern matching to pattern unification,\ninteraction becomes symmetrical, with information flowing in both directions.\nCPC provides a natural language to express trade where information exchange is\npivotal to interaction. The unification allows some patterns to be more\ndiscriminating than others; hence, the behavioural theory must take this aspect\ninto account, so that bisimulation becomes subject to compatibility of\npatterns. Many popular process calculi can be encoded in CPC; this allows for a\ngain in expressiveness, formalised through encodings.<\/jats:p>","DOI":"10.2168\/lmcs-10(3:10)2014","type":"journal-article","created":{"date-parts":[[2014,11,14]],"date-time":"2014-11-14T09:40:57Z","timestamp":1415958057000},"source":"Crossref","is-referenced-by-count":4,"title":["A Concurrent Pattern Calculus"],"prefix":"10.46298","volume":"Volume 10, Issue 3","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-8700-2671","authenticated-orcid":false,"given":"Thomas","family":"Given-Wilson","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-8859-9844","authenticated-orcid":false,"given":"Daniele","family":"Gorla","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Barry","family":"Jay","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"25203","published-online":{"date-parts":[[2014,8,23]]},"reference":[{"key":"903:not-found"}],"container-title":["Logical Methods in Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/lmcs.episciences.org\/774\/pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/lmcs.episciences.org\/774\/pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,4,11]],"date-time":"2023-04-11T19:55:45Z","timestamp":1681242945000},"score":1,"resource":{"primary":{"URL":"https:\/\/lmcs.episciences.org\/774"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,8,23]]},"references-count":1,"URL":"https:\/\/doi.org\/10.2168\/lmcs-10(3:10)2014","relation":{"is-same-as":[{"id-type":"arxiv","id":"1405.1546","asserted-by":"subject"},{"id-type":"doi","id":"10.48550\/arXiv.1405.1546","asserted-by":"subject"}]},"ISSN":["1860-5974"],"issn-type":[{"type":"electronic","value":"1860-5974"}],"subject":[],"published":{"date-parts":[[2014,8,23]]},"article-number":"774"}}