{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,3,31]],"date-time":"2022-03-31T09:41:13Z","timestamp":1648719673482},"reference-count":30,"publisher":"Elsevier BV","issue":"3","license":[{"start":{"date-parts":[[1995,6,1]],"date-time":"1995-06-01T00:00:00Z","timestamp":801964800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Future Generation Computer Systems"],"published-print":{"date-parts":[[1995,6]]},"DOI":"10.1016\/0167-739x(95)00002-a","type":"journal-article","created":{"date-parts":[[2002,7,25]],"date-time":"2002-07-25T12:24:10Z","timestamp":1027599850000},"page":"295-320","source":"Crossref","is-referenced-by-count":0,"title":["A model for the parallel execution of subset-equational languages"],"prefix":"10.1016","volume":"11","author":[{"given":"Amos R.","family":"Omondi","sequence":"first","affiliation":[]},{"given":"David A.","family":"Plaisted","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/0167-739X(95)00002-A_BIB1","series-title":"VLSI for Artificial Intelligence and Neural Networks","first-page":"11","article-title":"Architectural design of the rewrite rule machine","author":"Aida","year":"1991"},{"key":"10.1016\/0167-739X(95)00002-A_BIB2","series-title":"Fifth Generation Computer Architectures","first-page":"103","article-title":"Managing resources in a parallel machine","author":"Arvind","year":"1986"},{"key":"10.1016\/0167-739X(95)00002-A_BIB3","author":"Barendregt","year":"1984"},{"issue":"3","key":"10.1016\/0167-739X(95)00002-A_BIB4","doi-asserted-by":"crossref","first-page":"243","DOI":"10.1093\/comjnl\/31.3.243","article-title":"Nondeterminism with referential transparency in functional languages","volume":"31","author":"Burton","year":"1988","journal-title":"Comput. J."},{"issue":"1","key":"10.1016\/0167-739X(95)00002-A_BIB5","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/5001.5390","article-title":"PARLOG: Parallel programming in logic","volume":"8","author":"Clark","year":"1986","journal-title":"ACM Trans. Programming Languages and Systems"},{"key":"10.1016\/0167-739X(95)00002-A_BIB6","author":"Conery","year":"1987"},{"key":"10.1016\/0167-739X(95)00002-A_BIB7","article-title":"A comparative study of unification algorithms for or-parallel execution of logic languages","volume":"C-34 10","author":"Crammond","year":"1985","journal-title":"IEEE Trans. Comput."},{"issue":"2","key":"10.1016\/0167-739X(95)00002-A_BIB8","doi-asserted-by":"crossref","first-page":"26","DOI":"10.1109\/MC.1982.1653939","volume":"15","author":"Davis","year":"1982","journal-title":"IEEE Comput."},{"issue":"2 and 3","key":"10.1016\/0167-739X(95)00002-A_BIB9","doi-asserted-by":"crossref","first-page":"122","DOI":"10.1016\/S0019-9958(85)80003-6","article-title":"Computing with rewrite rules","volume":"65","author":"Dershowitz","year":"1985","journal-title":"Information and Control"},{"key":"10.1016\/0167-739X(95)00002-A_BIB10","first-page":"243","article-title":"Rewrite systems","author":"Dershowitz","year":"1990"},{"key":"10.1016\/0167-739X(95)00002-A_BIB11","article-title":"An active rewrite model for parallel computation","author":"Glauert","year":"1985"},{"key":"10.1016\/0167-739X(95)00002-A_BIB12","series-title":"Proc. Workshop on Graph Reduction","first-page":"53","article-title":"Concurrent rewriting as a model of computation","author":"Goguen","year":"1987"},{"key":"10.1016\/0167-739X(95)00002-A_BIB13","series-title":"Functional Programming and Its Applications","first-page":"177","article-title":"Purely functional operating systems","author":"Henderson","year":"1982"},{"key":"10.1016\/0167-739X(95)00002-A_BIB14","author":"Iannucci","year":"1994"},{"key":"10.1016\/0167-739X(95)00002-A_BIB15","author":"ICOT","year":"1984"},{"key":"10.1016\/0167-739X(95)00002-A_BIB16","series-title":"Proc. Conf. on Functional Languages and Computer Architecture","first-page":"194","article-title":"Functional programming with sets","author":"Jayaraman","year":"1987"},{"key":"10.1016\/0167-739X(95)00002-A_BIB17","series-title":"Proc. North American Conf. on Logic Programming","first-page":"1052","article-title":"Programming with equations, subsets, and relations","author":"Jayaraman","year":"1989"},{"key":"10.1016\/0167-739X(95)00002-A_BIB18","series-title":"Proc. 5th Int. Conf. and Symposium on Logic Programming","first-page":"843","article-title":"Subset logic programming: applications and implementation","author":"Jayaraman","year":"1988"},{"key":"10.1016\/0167-739X(95)00002-A_BIB19","series-title":"Proc. Concur'90","first-page":"384","article-title":"Rewriting as a unified model of concurrency","author":"Meseguer","year":"1990"},{"key":"10.1016\/0167-739X(95)00002-A_BIB20","series-title":"Research Directions in Parallel Programming Language","first-page":"253","article-title":"Parallel programming in Maude","author":"Meseguer","year":"1991"},{"key":"10.1016\/0167-739X(95)00002-A_BIB21","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-08531-9","article-title":"Computing in Systems Described by Equations","author":"O'Donnell","year":"1977"},{"key":"10.1016\/0167-739X(95)00002-A_BIB22","author":"O'Donnell","year":"1985"},{"key":"10.1016\/0167-739X(95)00002-A_BIB23","series-title":"Proc. Conf. on Term Rewriting and Applications","first-page":"1","article-title":"Term-rewriting implementation of equational logic programming","volume":"256","author":"O'Donnell","year":"1987"},{"key":"10.1016\/0167-739X(95)00002-A_BIB24","doi-asserted-by":"crossref","first-page":"355","DOI":"10.1016\/0167-739X(91)90005-I","article-title":"On functional languages and parallel computers","volume":"6","author":"Omondi","year":"1991","journal-title":"Future Generation Computer Syst."},{"issue":"2 and 3","key":"10.1016\/0167-739X(95)00002-A_BIB25","doi-asserted-by":"crossref","first-page":"182","DOI":"10.1016\/S0019-9958(85)80005-X","article-title":"Semantic confluence tests and completion methods","volume":"65","author":"Plaisted","year":"1985","journal-title":"Information and Control"},{"key":"10.1016\/0167-739X(95)00002-A_BIB26","article-title":"Nondeterminism by associative-commutative rewriting","author":"Plaisted","year":"1986"},{"key":"10.1016\/0167-739X(95)00002-A_BIB27","series-title":"Logic Programming: Functions, Relations, and Equations","first-page":"3","article-title":"On the relationship between functional and logic languages","author":"Reddy","year":"1986"},{"key":"10.1016\/0167-739X(95)00002-A_BIB28","series-title":"Proc. Int. Symp. on Computer Architecture","first-page":"235","article-title":"Stored data structures in the Manchester dataflow machine","author":"Sargeant","year":"1986"},{"key":"10.1016\/0167-739X(95)00002-A_BIB29","series-title":"Functional Programming and Its Applications","first-page":"1","article-title":"Recursion equations as a programming language","author":"Turner","year":"1982"},{"key":"10.1016\/0167-739X(95)00002-A_BIB30","series-title":"Proc. 10th Annual Symp. on Computer Architecture","first-page":"349","article-title":"A parallel execution model of logic programs","author":"Umeyama","year":"1984"}],"container-title":["Future Generation Computer Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:0167739X9500002A?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:0167739X9500002A?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,4,30]],"date-time":"2019-04-30T17:59:01Z","timestamp":1556647141000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/0167739X9500002A"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995,6]]},"references-count":30,"journal-issue":{"issue":"3","published-print":{"date-parts":[[1995,6]]}},"alternative-id":["0167739X9500002A"],"URL":"https:\/\/doi.org\/10.1016\/0167-739x(95)00002-a","relation":{},"ISSN":["0167-739X"],"issn-type":[{"value":"0167-739X","type":"print"}],"subject":[],"published":{"date-parts":[[1995,6]]}}}