{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,9,14]],"date-time":"2026-09-14T11:44:36Z","timestamp":1789386276741,"version":"build-2803163510"},"reference-count":7,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/csd.2004.1309118","type":"proceedings-article","created":{"date-parts":[[2004,11,12]],"date-time":"2004-11-12T19:14:14Z","timestamp":1100286854000},"page":"79-88","source":"Crossref","is-referenced-by-count":2,"title":["Context-based process algebras for mobility"],"prefix":"10.1109","author":[{"given":"R.","family":"Devillers","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"H.","family":"Klaudel","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"M.","family":"Koutny","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"3","first-page":"322","article-title":"Models for name-passing processes: Interleaving and causal (extended abstract)","author":"cattani","year":"2000","journal-title":"Proc of LICS'2000"},{"key":"2","first-page":"145","article-title":"A petri net semantics for ?-calculus","author":"busi","year":"1995","journal-title":"Proc of Concur'95"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1109\/PNPM.1991.238797"},{"key":"7","article-title":"A structural approach to operational semantics","volume":"fn 19","author":"plotkin","year":"1981","journal-title":"Technical Report"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1016\/B978-044482830-9\/50026-6"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1016\/0890-5401(92)90008-4"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.2000.855781"}],"event":{"name":"Proceedings. Fourth International Conference on Application of Concurrency to System Design, 2004. ACSD 2004.","location":"Hamilton, ON, Canada"},"container-title":["Proceedings. Fourth International Conference on Application of Concurrency to System Design, 2004. ACSD 2004."],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/9149\/29052\/01309118.pdf?arnumber=1309118","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,13]],"date-time":"2017-03-13T21:10:48Z","timestamp":1489439448000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1309118\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":7,"URL":"https:\/\/doi.org\/10.1109\/csd.2004.1309118","relation":{},"subject":[]}}