{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,11]],"date-time":"2025-09-11T22:23:12Z","timestamp":1757629392399,"version":"3.44.0"},"reference-count":49,"publisher":"Elsevier BV","issue":"4","license":[{"start":{"date-parts":[[1991,12,1]],"date-time":"1991-12-01T00:00:00Z","timestamp":691545600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[1991,12,1]],"date-time":"1991-12-01T00:00:00Z","timestamp":691545600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/legal\/tdmrep-license"}],"content-domain":{"domain":["elsevier.com","sciencedirect.com"],"crossmark-restriction":true},"short-container-title":["Journal of Parallel and Distributed Computing"],"published-print":{"date-parts":[[1991,12]]},"DOI":"10.1016\/0743-7315(91)90096-r","type":"journal-article","created":{"date-parts":[[2004,2,23]],"date-time":"2004-02-23T15:14:09Z","timestamp":1077549249000},"page":"348-365","update-policy":"https:\/\/doi.org\/10.1016\/elsevier_cm_policy","source":"Crossref","is-referenced-by-count":25,"title":["Guaranteeing serializable results in synchronous parallel production systems"],"prefix":"10.1016","volume":"13","author":[{"given":"James G.","family":"Schmolze","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"issue":"2","key":"10.1016\/0743-7315(91)90096-R_BIB1","doi-asserted-by":"crossref","first-page":"185","DOI":"10.1145\/356842.356846","article-title":"Concurrency control in distributed database systems","volume":"13","author":"Bernstein","year":"1981","journal-title":"Comput. Surveys"},{"article-title":"The modification of a rule-based diagnostic system for routinized parallelism on the butterfly parallel computer","year":"1988","author":"Boulanger","key":"10.1016\/0743-7315(91)90096-R_BIB2"},{"article-title":"On the efficient implementation of production systems","year":"1979","author":"Forgy","key":"10.1016\/0743-7315(91)90096-R_BIB3"},{"year":"1981","author":"Forgy","key":"10.1016\/0743-7315(91)90096-R_BIB4"},{"key":"10.1016\/0743-7315(91)90096-R_BIB5","doi-asserted-by":"crossref","DOI":"10.1016\/0004-3702(82)90020-0","article-title":"Rete: A fast algorithm for the many pattern\/ many object pattern match problem","author":"Forgy","year":"1982","journal-title":"Artificial Intelligence"},{"key":"10.1016\/0743-7315(91)90096-R_BIB6","series-title":"Proc. Fourth National Conference on Artificial Intelligence (AAAI-84)","article-title":"Initial assessment of architectures for production systems","author":"Forgy","year":"1984"},{"article-title":"A methodology for developing correct rule-based programs for parallel implementation","year":"1990","author":"Gamble","key":"10.1016\/0743-7315(91)90096-R_BIB7"},{"key":"10.1016\/0743-7315(91)90096-R_BIB8","series-title":"Third International Conference on Industrial and Engineering Applications of AI and Expert Systems","article-title":"Transforming rule-based programs: From the sequential to the parallel","author":"Gamble","year":"1990"},{"article-title":"Implementing OPS5 production systems on DADO","year":"1983","author":"Gupta","key":"10.1016\/0743-7315(91)90096-R_BIB9"},{"article-title":"Parallelism in production systems","year":"1986","author":"Gupta","key":"10.1016\/0743-7315(91)90096-R_BIB10"},{"issue":"4","key":"10.1016\/0743-7315(91)90096-R_BIB11","doi-asserted-by":"crossref","first-page":"501","DOI":"10.1145\/4472.4478","article-title":"Multilisp: A language for concurrent symbolic computation","volume":"7","author":"Halstead","year":"1985","journal-title":"ACM Trans. Programming Languages Systems"},{"issue":"3","key":"10.1016\/0743-7315(91)90096-R_BIB12","doi-asserted-by":"crossref","first-page":"341","DOI":"10.1145\/322077.322078","article-title":"Another generalization of resolution","volume":"25","author":"Harrison","year":"1978","journal-title":"J. Assoc. Comput. Mach."},{"issue":"4","key":"10.1016\/0743-7315(91)90096-R_BIB13","doi-asserted-by":"crossref","first-page":"797","DOI":"10.1145\/322217.322230","article-title":"Confluent reductions: Abstract properties and applications to term rewriting systems","volume":"27","author":"Huet","year":"1980","journal-title":"J. Assoc. Comput. Mach."},{"key":"10.1016\/0743-7315(91)90096-R_BIB14","series-title":"Proc. International Conference on Parallel Processing","article-title":"Towards the parallel execution of rules in production system programs","author":"Ishida","year":"1985"},{"key":"10.1016\/0743-7315(91)90096-R_BIB15","series-title":"Proc. 6th IEEE Conference on Artificial Intelligence Applications","article-title":"Methods and effectiveness of parallel rule firing","author":"Ishida","year":"1990"},{"issue":"1","key":"10.1016\/0743-7315(91)90096-R_BIB16","doi-asserted-by":"crossref","first-page":"11","DOI":"10.1109\/69.75883","article-title":"Parallel firing of production system programs","volume":"3","author":"Ishida","year":"1991","journal-title":"IEEE Trans. Knowledge Data Engrg."},{"key":"10.1016\/0743-7315(91)90096-R_BIB17","series-title":"Proc. Eighth National Conference on Artificial Intelligence (AAAI-90)","first-page":"52","article-title":"An organizational approach to adaptive production systems","author":"Ishida","year":"1990"},{"key":"10.1016\/0743-7315(91)90096-R_BIB18","series-title":"Proc. Eleventh International Joint Conference on Artificial Intelligence (IJCAI-89)","article-title":"An evaluation of DRete on CUPID for OPS5 matching","author":"Kelly","year":"1989"},{"key":"10.1016\/0743-7315(91)90096-R_BIB19","article-title":"Parallel execution of production systems: Decomposition of \u2018hot spot\u2019 rules","author":"Kuo","year":"1989","journal-title":"Thesis proposal"},{"article-title":"Control in production systems with multiple rule firings","year":"1990","author":"Kuo","key":"10.1016\/0743-7315(91)90096-R_BIB20"},{"article-title":"The Manhattan Mapper expert production system","year":"1983","author":"Lerner","key":"10.1016\/0743-7315(91)90096-R_BIB21"},{"issue":"1","key":"10.1016\/0743-7315(91)90096-R_BIB22","article-title":"R1: A rule-based configurer of computer systems","volume":"19","author":"McDermott","year":"1982","journal-title":"Artifzcial Intelligence"},{"article-title":"TREAT. A new and efficient match algorithm for AI production systems","year":"1987","author":"Miranker","key":"10.1016\/0743-7315(91)90096-R_BIB23_1"},{"year":"1987","author":"Miranker","key":"10.1016\/0743-7315(91)90096-R_BIB23_2"},{"key":"10.1016\/0743-7315(91)90096-R_BIB24","series-title":"Proc. Sixth National Conference on Artificial Intelligence (AAAI87)","first-page":"42","article-title":"TREAT: A better match algorithm for AI production systems","author":"Miranker","year":"1987"},{"article-title":"Parallelizing transformations for a concurrent rule execution language","year":"1989","author":"Miranker","key":"10.1016\/0743-7315(91)90096-R_BIB25"},{"key":"10.1016\/0743-7315(91)90096-R_BIB26","series-title":"International Conference on Parallel Processing","article-title":"Parallelizing transformations for a concurrent rule execution language","author":"Miranker","year":"1990"},{"key":"10.1016\/0743-7315(91)90096-R_BIB27","series-title":"Proc. IEEE International Conference on Systems, Man and Cybernetics","first-page":"568","article-title":"A model for parallel processing of production systems","author":"Moldovan","year":"1986"},{"issue":"4","key":"10.1016\/0743-7315(91)90096-R_BIB28","doi-asserted-by":"crossref","first-page":"699","DOI":"10.1109\/21.35334","article-title":"RUBIC: A multiprocessor for rule-based systems","volume":"19","author":"Moldovan","year":"1989","journal-title":"IEEE Trans. Systems Man Cybernet."},{"key":"10.1016\/0743-7315(91)90096-R_BIB29","series-title":"Proc. 1988 ACM. ACM Conference for Lisp and Functional Programming","article-title":"BLITZ: A rule-based system for massively parallel architectures","author":"Morgan","year":"1988"},{"article-title":"Control in parallel production systems: A research prospectus","year":"1991","author":"Neiman","key":"10.1016\/0743-7315(91)90096-R_BIB30"},{"article-title":"Parallel OPS5 user's manual and technical report","year":"1991","author":"Neiman","key":"10.1016\/0743-7315(91)90096-R_BIB31"},{"year":"1980","series-title":"Principles of Artificial Intelligence","author":"Nilsson","key":"10.1016\/0743-7315(91)90096-R_BIB32"},{"article-title":"Partitioning in parallel processing of production systems","year":"1987","author":"Oflazer","key":"10.1016\/0743-7315(91)90096-R_BIB33_1"},{"journal-title":"Tech. Rep. CMU-CS-87-114","year":"1987","author":"Oflazer","key":"10.1016\/0743-7315(91)90096-R_BIB33_2"},{"key":"10.1016\/0743-7315(91)90096-R_BIB34","series-title":"Proc. 1987 International Conference on Parallel Processing","first-page":"147","article-title":"A Parallel Model and Architecture for Production Systems","author":"Oshisanwo","year":"1987"},{"article-title":"A methodology for programming production systems and its implications on parallelism","year":"1989","author":"Pasik","key":"10.1016\/0743-7315(91)90096-R_BIB35"},{"article-title":"Improving production system performance on parallel architectures by creating constrained copies of rules","year":"1987","author":"Pasik","key":"10.1016\/0743-7315(91)90096-R_BIB36"},{"article-title":"Exploiting concurrency in a DBMS implementation for production systems","year":"1989","author":"Raschid","key":"10.1016\/0743-7315(91)90096-R_BIB37"},{"key":"10.1016\/0743-7315(91)90096-R_BIB38","series-title":"Proc. AAAI-88 Workshop on Parallel Algorithms for Machine Intelligence and Pattern Recognition","article-title":"An asynchronous parallel production system with distributed facts and rules","author":"Schmolze","year":"1988"},{"article-title":"Guaranteeing serializable results in synchronous parallel production systems","year":"1989","author":"Schmolze","key":"10.1016\/0743-7315(91)90096-R_BIB39"},{"key":"10.1016\/0743-7315(91)90096-R_BIB40","series-title":"Proc. IJCAI-89 Workshop on Parallel Algorithms for Machine Intelligence and Pattern Recognition","article-title":"Guaranteeing serializable results in synchronous parallel production systems","author":"Schmolze","year":"1989"},{"key":"10.1016\/0743-7315(91)90096-R_BIB41","series-title":"Proc. Eighth National Conference on Artificial Intelligence (AAAI-90)","article-title":"A parallel asynchronous distributed production system","author":"Schmolze","year":"1990"},{"key":"10.1016\/0743-7315(91)90096-R_BIB42","series-title":"Proc. ACMSIGMOD International Conference on the Management of Data","first-page":"404","article-title":"Implementing large production systems in a DBMS environment: Concepts and algorithms","author":"Sellis","year":"1988"},{"key":"10.1016\/0743-7315(91)90096-R_BIB43","series-title":"Proc. Fourth National Conference on Artificial Intelligence (AAAI-84)","article-title":"Five parallel algorithms for production system execution on the DADO machine","author":"Stolfo","year":"1984"},{"key":"10.1016\/0743-7315(91)90096-R_BIB44","series-title":"Proc. Second National Conference on Artificial Intelligence (AAAI-82)","article-title":"DADO: A tree-structured machine architecture for production systems","author":"Stolfo","year":"1982"},{"key":"10.1016\/0743-7315(91)90096-R_BIB45","doi-asserted-by":"crossref","first-page":"269","DOI":"10.1016\/0743-7315(86)90007-9","article-title":"The DADO production system machine","volume":"3","author":"Stolfo","year":"1986","journal-title":"J. Parallel Distrib. Comput."},{"key":"10.1016\/0743-7315(91)90096-R_BIB46","series-title":"Proc. Second International Conference on Database Theory","article-title":"Conceptual level concurrency control of relational update transactions","volume":"Vol. 326","author":"Vianu","year":"1988"},{"key":"10.1016\/0743-7315(91)90096-R_BIB47","series-title":"The Psychology of Computer Vision","first-page":"19","article-title":"Understanding line drawings of scenes with shadows","author":"Waltz","year":"1975"}],"container-title":["Journal of Parallel and Distributed Computing"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:074373159190096R?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:074373159190096R?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2025,9,10]],"date-time":"2025-09-10T14:30:15Z","timestamp":1757514615000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/074373159190096R"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1991,12]]},"references-count":49,"journal-issue":{"issue":"4","published-print":{"date-parts":[[1991,12]]}},"alternative-id":["074373159190096R"],"URL":"https:\/\/doi.org\/10.1016\/0743-7315(91)90096-r","relation":{},"ISSN":["0743-7315"],"issn-type":[{"type":"print","value":"0743-7315"}],"subject":[],"published":{"date-parts":[[1991,12]]},"assertion":[{"value":"Elsevier","name":"publisher","label":"This article is maintained by"},{"value":"Guaranteeing serializable results in synchronous parallel production systems","name":"articletitle","label":"Article Title"},{"value":"Journal of Parallel and Distributed Computing","name":"journaltitle","label":"Journal Title"},{"value":"https:\/\/doi.org\/10.1016\/0743-7315(91)90096-R","name":"articlelink","label":"CrossRef DOI link to publisher maintained version"},{"value":"converted-article","name":"content_type","label":"Content Type"},{"value":"Copyright \u00a9 1991 Published by Elsevier Inc.","name":"copyright","label":"Copyright"}]}}