{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:32:46Z","timestamp":1761611566578,"version":"build-2065373602"},"reference-count":21,"publisher":"Elsevier BV","issue":"4","license":[{"start":{"date-parts":[[2002,9,1]],"date-time":"2002-09-01T00:00:00Z","timestamp":1030838400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2002,9,1]],"date-time":"2002-09-01T00:00:00Z","timestamp":1030838400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/legal\/tdmrep-license"},{"start":{"date-parts":[[2013,7,29]],"date-time":"2013-07-29T00:00:00Z","timestamp":1375056000000},"content-version":"vor","delay-in-days":3984,"URL":"http:\/\/creativecommons.org\/licenses\/by-nc-nd\/3.0\/"}],"content-domain":{"domain":["elsevier.com","sciencedirect.com"],"crossmark-restriction":true},"short-container-title":["Electronic Notes in Theoretical Computer Science"],"published-print":{"date-parts":[[2002,9]]},"DOI":"10.1016\/s1571-0661(04)80446-8","type":"journal-article","created":{"date-parts":[[2004,9,29]],"date-time":"2004-09-29T12:47:47Z","timestamp":1096462067000},"page":"1-15","update-policy":"https:\/\/doi.org\/10.1016\/elsevier_cm_policy","source":"Crossref","is-referenced-by-count":0,"title":["IWIM Semantics via Fibred Automata"],"prefix":"10.1016","volume":"66","author":[{"given":"R.","family":"Banach","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"F.","family":"Arbab","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"G.A.","family":"Papadopoulos","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"J.R.W.","family":"Glauert","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"year":"1986","series-title":"\u201cActors: A Model of Concurrent Computation in Distributed Systems,\u201d","author":"Agha","key":"10.1016\/S1571-0661(04)80446-8_NEWBIB1"},{"key":"10.1016\/S1571-0661(04)80446-8_NEWBIB2","unstructured":"Arbab F. \u201cCoordination of Massively Concurrent Activities.\u201d CWI Tech. Rep. CS-R9565, 1995."},{"key":"10.1016\/S1571-0661(04)80446-8_NEWBIB3","series-title":"Proc. COORD-96","first-page":"34","article-title":"\u201cThe IWIM Model for Coordination of Concurrent Activities\u201d","author":"Arbab","year":"1996"},{"key":"10.1016\/S1571-0661(04)80446-8_NEWBIB4","doi-asserted-by":"crossref","first-page":"23","DOI":"10.1002\/cpe.4330050103","article-title":"\u201cAn overview of Manifold and its Implementation\u201d","volume":"5","author":"Arbab","year":"1993","journal-title":"Concurrency: Practice and Experience"},{"key":"10.1016\/S1571-0661(04)80446-8_NEWBIB5","first-page":"703","article-title":"\u201cRusable Coordination Modules for Massively Concurrent Applications.\u201d","volume":"28","author":"Arbab","year":"1998","journal-title":"Software: Practice and Experience"},{"key":"10.1016\/S1571-0661(04)80446-8_NEWBIB6","series-title":"Proc. COORD-00","first-page":"249","article-title":"\u201cA Logical Interface Description Language for Components\u201d","author":"Arbab","year":"2000"},{"key":"10.1016\/S1571-0661(04)80446-8_NEWBIB7","series-title":"Proc. ACM SAC-00","first-page":"166","article-title":"\u201cA Coordination Language for Mobile Components\u201d","author":"Arbab","year":"2000"},{"key":"10.1016\/S1571-0661(04)80446-8_NEWBIB8","unstructured":"Banach R., Arbab F., Papadopoulos G. A., Glauert J. R. W. \u201cA Multiply Fibred Automaton Semantics for IWIM.\u201d submitted, 2002."},{"year":"2000","series-title":"\u201cPetri Net Algebra.\u201d","author":"Best","key":"10.1016\/S1571-0661(04)80446-8_NEWBIB9"},{"key":"10.1016\/S1571-0661(04)80446-8_NEWBIB10","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1016\/S0304-3975(99)00226-1","article-title":"\u201cA Transition System Semantics for the Control-Driven Coordination Language MANIFOLD\u201d","volume":"240","author":"Bonsangue","year":"2000","journal-title":"Theor. Comp. Sci"},{"key":"10.1016\/S1571-0661(04)80446-8_NEWBIB11","doi-asserted-by":"crossref","first-page":"444","DOI":"10.1145\/63334.63337","article-title":"\u201cLINDA in Context.\u201d","volume":"32","author":"Carriero","year":"1989","journal-title":"Comm. ACM"},{"year":"1996","series-title":"\u201cCoordination Languages and Models 1996\u201d Proc. COORD-96","key":"10.1016\/S1571-0661(04)80446-8_NEWBIB12"},{"year":"1999","series-title":"\u201cCoordination Languages and Models 1999\u201d Proc. COORD-99","key":"10.1016\/S1571-0661(04)80446-8_NEWBIB13"},{"year":"1997","series-title":"\u201cCoordination Languages and Models 1997\u201d (Proc. COORD-97)","key":"10.1016\/S1571-0661(04)80446-8_NEWBIB14"},{"key":"10.1016\/S1571-0661(04)80446-8_NEWBIB15","doi-asserted-by":"crossref","first-page":"80","DOI":"10.1145\/2363.2433","article-title":"\u201cGenerative Communication in Linda.\u201d","volume":"7","author":"Gelernter","year":"1985","journal-title":"ACM Trans. Prog. Lang. Sys"},{"key":"10.1016\/S1571-0661(04)80446-8_NEWBIB16","series-title":"in: Proc. COORD-00","first-page":"267","article-title":"\u201cA Formalisation of the IWIM Model.\u201d","author":"Katis","year":"2000"},{"key":"10.1016\/S1571-0661(04)80446-8_NEWBIB17","doi-asserted-by":"crossref","first-page":"87","DOI":"10.1145\/174666.174668","article-title":"\u201cThe Interdisciplinary Study of Coordination.\u201d","volume":"26","author":"Malone","year":"1994","journal-title":"ACM Comp. Surv"},{"year":"2002","series-title":"\u201cCoordination of Internet Agents: Models, Technologies, and Applications.\u201d","author":"Omicini","key":"10.1016\/S1571-0661(04)80446-8_NEWBIB18"},{"key":"10.1016\/S1571-0661(04)80446-8_NEWBIB19","series-title":"Advances in Computers \u2014 The Engineering of Large Systems","first-page":"329","article-title":"\u201cCoordination Models and Languages.\u201d","author":"Papadopoulos","year":"1998"},{"year":"2000","series-title":"\u201cCoordination Languages and Models 2000\u201d (Proc. COORD-00)","key":"10.1016\/S1571-0661(04)80446-8_NEWBIB20"},{"key":"10.1016\/S1571-0661(04)80446-8_NEWBIB21","doi-asserted-by":"crossref","first-page":"412","DOI":"10.1145\/72551.72555","article-title":"\u201cThe Family of Concurrent Logic Languages.\u201d","volume":"21","author":"Shapiro","year":"1989","journal-title":"ACM Comp. Surv"}],"container-title":["Electronic Notes in Theoretical Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1571066104804468?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1571066104804468?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:05:09Z","timestamp":1761609909000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S1571066104804468"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002,9]]},"references-count":21,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2002,9]]}},"alternative-id":["S1571066104804468"],"URL":"https:\/\/doi.org\/10.1016\/s1571-0661(04)80446-8","relation":{},"ISSN":["1571-0661"],"issn-type":[{"type":"print","value":"1571-0661"}],"subject":[],"published":{"date-parts":[[2002,9]]},"assertion":[{"value":"Elsevier","name":"publisher","label":"This article is maintained by"},{"value":"IWIM Semantics via Fibred Automata","name":"articletitle","label":"Article Title"},{"value":"Electronic Notes in Theoretical Computer Science","name":"journaltitle","label":"Journal Title"},{"value":"https:\/\/doi.org\/10.1016\/S1571-0661(04)80446-8","name":"articlelink","label":"CrossRef DOI link to publisher maintained version"},{"value":"converted-article","name":"content_type","label":"Content Type"},{"value":"Copyright \u00a9 2002 Published by Elsevier B.V.","name":"copyright","label":"Copyright"}]}}