{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,5,5]],"date-time":"2022-05-05T20:10:42Z","timestamp":1651781442863},"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\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"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-23T20:14:09Z","timestamp":1077567249000},"page":"348-365","source":"Crossref","is-referenced-by-count":24,"title":["Guaranteeing serializable results in synchronous parallel production systems"],"prefix":"10.1016","volume":"13","author":[{"given":"James G.","family":"Schmolze","sequence":"first","affiliation":[]}],"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"},{"key":"10.1016\/0743-7315(91)90096-R_BIB2","article-title":"The modification of a rule-based diagnostic system for routinized parallelism on the butterfly parallel computer","author":"Boulanger","year":"1988"},{"key":"10.1016\/0743-7315(91)90096-R_BIB3","article-title":"On the efficient implementation of production systems","author":"Forgy","year":"1979"},{"key":"10.1016\/0743-7315(91)90096-R_BIB4","author":"Forgy","year":"1981"},{"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"},{"key":"10.1016\/0743-7315(91)90096-R_BIB7","article-title":"A methodology for developing correct rule-based programs for parallel implementation","author":"Gamble","year":"1990"},{"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"},{"key":"10.1016\/0743-7315(91)90096-R_BIB9","article-title":"Implementing OPS5 production systems on DADO","author":"Gupta","year":"1983"},{"key":"10.1016\/0743-7315(91)90096-R_BIB10","article-title":"Parallelism in production systems","author":"Gupta","year":"1986"},{"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"},{"key":"10.1016\/0743-7315(91)90096-R_BIB20","article-title":"Control in production systems with multiple rule firings","author":"Kuo","year":"1990"},{"key":"10.1016\/0743-7315(91)90096-R_BIB21","article-title":"The Manhattan Mapper expert production system","author":"Lerner","year":"1983"},{"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"},{"key":"10.1016\/0743-7315(91)90096-R_BIB23_1","article-title":"TREAT. A new and efficient match algorithm for AI production systems","author":"Miranker","year":"1987"},{"key":"10.1016\/0743-7315(91)90096-R_BIB23_2","author":"Miranker","year":"1987"},{"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"},{"key":"10.1016\/0743-7315(91)90096-R_BIB25","article-title":"Parallelizing transformations for a concurrent rule execution language","author":"Miranker","year":"1989"},{"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"},{"key":"10.1016\/0743-7315(91)90096-R_BIB30","article-title":"Control in parallel production systems: A research prospectus","author":"Neiman","year":"1991"},{"key":"10.1016\/0743-7315(91)90096-R_BIB31","article-title":"Parallel OPS5 user's manual and technical report","author":"Neiman","year":"1991"},{"key":"10.1016\/0743-7315(91)90096-R_BIB32","series-title":"Principles of Artificial Intelligence","author":"Nilsson","year":"1980"},{"key":"10.1016\/0743-7315(91)90096-R_BIB33_1","article-title":"Partitioning in parallel processing of production systems","author":"Oflazer","year":"1987"},{"key":"10.1016\/0743-7315(91)90096-R_BIB33_2","author":"Oflazer","year":"1987","journal-title":"Tech. Rep. CMU-CS-87-114"},{"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"},{"key":"10.1016\/0743-7315(91)90096-R_BIB35","article-title":"A methodology for programming production systems and its implications on parallelism","author":"Pasik","year":"1989"},{"key":"10.1016\/0743-7315(91)90096-R_BIB36","article-title":"Improving production system performance on parallel architectures by creating constrained copies of rules","author":"Pasik","year":"1987"},{"key":"10.1016\/0743-7315(91)90096-R_BIB37","article-title":"Exploiting concurrency in a DBMS implementation for production systems","author":"Raschid","year":"1989"},{"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"},{"key":"10.1016\/0743-7315(91)90096-R_BIB39","article-title":"Guaranteeing serializable results in synchronous parallel production systems","author":"Schmolze","year":"1989"},{"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":[[2019,2,15]],"date-time":"2019-02-15T01:27:24Z","timestamp":1550194044000},"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":[{"value":"0743-7315","type":"print"}],"subject":[],"published":{"date-parts":[[1991,12]]}}}