{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,2]],"date-time":"2025-07-02T14:39:18Z","timestamp":1751467158104},"reference-count":25,"publisher":"Elsevier BV","issue":"3","license":[{"start":{"date-parts":[[2003,3,1]],"date-time":"2003-03-01T00:00:00Z","timestamp":1046476800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2013,7,29]],"date-time":"2013-07-29T00:00:00Z","timestamp":1375056000000},"content-version":"vor","delay-in-days":3803,"URL":"http:\/\/creativecommons.org\/licenses\/by-nc-nd\/3.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Electronic Notes in Theoretical Computer Science"],"published-print":{"date-parts":[[2003,3]]},"DOI":"10.1016\/s1571-0661(05)80378-0","type":"journal-article","created":{"date-parts":[[2005,5,19]],"date-time":"2005-05-19T13:46:30Z","timestamp":1116510390000},"page":"371-388","source":"Crossref","is-referenced-by-count":2,"title":["Distribution of a simple shared dataspace architecture"],"prefix":"10.1016","volume":"68","author":[{"given":"Simona","family":"Orzan","sequence":"first","affiliation":[]},{"given":"Jaco","family":"van de Pol","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/S1571-0661(05)80378-0_BIB1","series-title":"Process Algebra","author":"Baeten","year":"1990"},{"issue":"1","key":"10.1016\/S1571-0661(05)80378-0_BIB2","doi-asserted-by":"crossref","first-page":"77","DOI":"10.1016\/0304-3975(85)90088-X","article-title":"Algebra of communicating processes with abstraction","volume":"37","author":"Bergstra","year":"1985","journal-title":"Theoretical Computer Science"},{"key":"10.1016\/S1571-0661(05)80378-0_BIB3","series-title":"Proceedings Concur'94, number 836 in LNCS","first-page":"401","article-title":"Invariants in process algebra with data","author":"Bezem","year":"1994"},{"key":"10.1016\/S1571-0661(05)80378-0_BIB4","first-page":"250","article-title":"\u03bcCRL: a toolset for analysing algebraic specifications","author":"Blom","year":"2001"},{"key":"10.1016\/S1571-0661(05)80378-0_BIB5","series-title":"Proceedings of the 2000 ACM Symposium on Applied Computing (SAC 2000)","first-page":"149","article-title":"Semantical aspects of an architecture for distributed embedded systems","author":"Bloo","year":"2000"},{"issue":"7","key":"10.1016\/S1571-0661(05)80378-0_BIB6","doi-asserted-by":"crossref","first-page":"1094","DOI":"10.1109\/9.231463","article-title":"Control systems software","volume":"38","author":"Boasson","year":"1993","journal-title":"IEEE Transactions on Automatic Control"},{"key":"10.1016\/S1571-0661(05)80378-0_BIB7","series-title":"Proceedings of the 1999 ACM Symposium on Applied Computing (SAC '99)","first-page":"146","article-title":"Comparing coordination models based on shared distributed replicated data","author":"Bonsangue","year":"1999"},{"key":"10.1016\/S1571-0661(05)80378-0_BIB8","series-title":"Proceedings of the 3rd International Conference on Coordination Languages and Models (Coordination 99) number 1594 in LNCS","first-page":"150","article-title":"Comparing software architectures for coordination languages","author":"Bonsangue","year":"1999"},{"key":"10.1016\/S1571-0661(05)80378-0_BIB9","series-title":"Proceedings of Express '97, volume 7 of Electronic Notes in Theoretical Computer Science.","article-title":"On the Turing equivalence of Linda coordination primitives","author":"Busi","year":"1997"},{"key":"10.1016\/S1571-0661(05)80378-0_BIB10","series-title":"8th International Conference on Algebraic Methodology and Software Technology, number 1816 in LNCS, Iowa, USA","article-title":"Process calculi for coordination: From Linda to JavaSpaces","author":"Busi","year":"2000"},{"issue":"4","key":"10.1016\/S1571-0661(05)80378-0_BIB11","doi-asserted-by":"crossref","first-page":"444","DOI":"10.1145\/63334.63337","article-title":"Linda in context","volume":"32","author":"Carriero","year":"1989","journal-title":"Communications of the ACM"},{"key":"10.1016\/S1571-0661(05)80378-0_BIB12","series-title":"Fifth Workshop on Object-oriented Real-Time Dependable Systems (WORDS'99F)","article-title":"Transparent object replication: A formal model","author":"Dechering","year":"2000"},{"key":"10.1016\/S1571-0661(05)80378-0_BIB13","doi-asserted-by":"crossref","unstructured":"P.F.G. Dechering and LA. van Langevelde. The verification of coordination. In A. Porto and C. Roman, editors, Proceedings of the Fourth International Conference on Coordination Models and Languages, number 1906 in LNCS, Limassol, Cyprus, 2000. Springer-Verlag.","DOI":"10.1007\/3-540-45263-X_25"},{"key":"10.1016\/S1571-0661(05)80378-0_BIB14","series-title":"Texts in Theoretical Computer Science (EATCS)","article-title":"Introduction to Process Algebra","author":"Fokkink","year":"2000"},{"key":"10.1016\/S1571-0661(05)80378-0_BIB15","series-title":"JavaSpaces principles, patterns, and practice","author":"Freeman","year":"1999"},{"issue":"3","key":"10.1016\/S1571-0661(05)80378-0_BIB16","doi-asserted-by":"crossref","first-page":"555","DOI":"10.1145\/233551.233556","article-title":"Branching time and abstraction in bisimulation semantics","volume":"43","author":"van Glabbeek","year":"1996","journal-title":"Journal of the ACM"},{"issue":"1-2","key":"10.1016\/S1571-0661(05)80378-0_BIB17","doi-asserted-by":"crossref","first-page":"39","DOI":"10.1016\/S1567-8326(01)00005-4","article-title":"Linearization in parallel pCRL","volume":"48","author":"Groote","year":"2001","journal-title":"Journal of Logic and Algebraic Programming"},{"key":"10.1016\/S1571-0661(05)80378-0_BIB18","series-title":"Handbook of Process Algebra","first-page":"1151","article-title":"Algebraic process verification","author":"Groote","year":"2001"},{"issue":"1-2","key":"10.1016\/S1571-0661(05)80378-0_BIB19","doi-asserted-by":"crossref","first-page":"31","DOI":"10.1016\/S1567-8326(01)00010-8","article-title":"Focus points and convergent process operators: a proof strategy for protocol verification","volume":"49","author":"Groote","year":"2001","journal-title":"Journal of Logic and Algebraic Programming"},{"key":"10.1016\/S1571-0661(05)80378-0_BIB20","series-title":"Proceedings of SAC 2002 (Madrid)","first-page":"351","article-title":"Formal verification of replication on a distributed data space architecture","author":"Hooman","year":"2002"},{"key":"10.1016\/S1571-0661(05)80378-0_BIB21","series-title":"PhD thesis, Department of Computer Science, University of Twente","article-title":"Transformations and Semantics for LOTOS","author":"Langerak","year":"1992"},{"key":"10.1016\/S1571-0661(05)80378-0_BIB22","doi-asserted-by":"crossref","unstructured":"U. Nestmann and B.C. Pierce. Decoding choice encodings. In U. Montanari and V. Sassone, editors, Proc. of the 7th Int. Conf. on Concurrency Theory (CONCUR 96), number 1119 in LNCS, pages 179-194. Springer-Verlag, 1996.","DOI":"10.1007\/3-540-61604-7_55"},{"key":"10.1016\/S1571-0661(05)80378-0_BIB23","unstructured":"S.M. Orzan. Distributing requirements specifications on Basic Splice. Technical Report SEN-R0101, CWI, Amsterdam, The Netherlands, 2001. http:\/\/db.cwi.nl\/rapporten\/index.php."},{"key":"10.1016\/S1571-0661(05)80378-0_BIB24","unstructured":"J.C. van de Pol. Expressiveness of Basic Splice. Technical Report SEN-R0033, CWI, Amsterdam, The Netherlands, 2000. http:\/\/db.cwi.nl\/rapporten\/index.php."},{"key":"10.1016\/S1571-0661(05)80378-0_BIB25","series-title":"Proc. of COORDINATION, number 2315 in LNCS","first-page":"274","article-title":"Formal specification of JavaSpaces\u2122 architecture using \u03bccrl","author":"van de Pol","year":"2002"}],"container-title":["Electronic Notes in Theoretical Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1571066105803780?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1571066105803780?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,2,21]],"date-time":"2019-02-21T03:10:32Z","timestamp":1550718632000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S1571066105803780"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003,3]]},"references-count":25,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2003,3]]}},"alternative-id":["S1571066105803780"],"URL":"https:\/\/doi.org\/10.1016\/s1571-0661(05)80378-0","relation":{},"ISSN":["1571-0661"],"issn-type":[{"value":"1571-0661","type":"print"}],"subject":[],"published":{"date-parts":[[2003,3]]}}}