{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,3,31]],"date-time":"2022-03-31T04:37:02Z","timestamp":1648701422932},"reference-count":26,"publisher":"Elsevier BV","issue":"13-14","license":[{"start":{"date-parts":[[2000,12,1]],"date-time":"2000-12-01T00:00:00Z","timestamp":975628800000},"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":["Parallel Computing"],"published-print":{"date-parts":[[2000,12]]},"DOI":"10.1016\/s0167-8191(00)00059-4","type":"journal-article","created":{"date-parts":[[2002,7,25]],"date-time":"2002-07-25T15:01:26Z","timestamp":1027609286000},"page":"1909-1924","source":"Crossref","is-referenced-by-count":0,"title":["Modelling parallel databases with process algebra"],"prefix":"10.1016","volume":"26","author":[{"given":"C.S","family":"Pua","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"M.H","family":"Williams","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"D.H","family":"Marwick","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"key":"10.1016\/S0167-8191(00)00059-4_BIB1","doi-asserted-by":"crossref","unstructured":"B. Bergsten, M. Couprie, P. Valduriez, Prototyping DBS3: a shared-memory parallel database system, in: International Conference of Parallel and Distributed Information System, Miami, FL, USA, 1991","DOI":"10.1109\/PDIS.1991.183107"},{"key":"10.1016\/S0167-8191(00)00059-4_BIB2","doi-asserted-by":"crossref","unstructured":"H. Boral, W. Alexander, L. Clay, G. Copeland, S. Danforth, M. Franklin, B. Hart, M. Smith, P. Valduriez, Prototyping Bubbsa: a highly parallel database system, IEEE Transactions on Knowledge Data Engineering 2 (1) (1990) 4\u201324","DOI":"10.1109\/69.50903"},{"key":"10.1016\/S0167-8191(00)00059-4_BIB3","unstructured":"G. Clark, J. Hillston, Toward automatic derivation of performance measures from PEPA models, in: J. Hillston, R. Pooley (Eds.), The 12th UK Computer and Telecommunications Performance Engineering Workshop, The University of Edinburgh, September 1996, pp. 65\u201381"},{"key":"10.1016\/S0167-8191(00)00059-4_BIB4","unstructured":"D.J. De Witt, et al., GAMMA: a high performance dataflow database machine, in: Proceedings of the 1986 VLDB Conference, Japan, August 1986"},{"key":"10.1016\/S0167-8191(00)00059-4_BIB5","doi-asserted-by":"crossref","unstructured":"D.J. De Witt, S. Ghandeharizadeh, D.A. Schneider, A. Bricker, H. Hsiao, R. Rasmussen, The GAMMA database machine project, IEEE Transactions on Knowledge Data Engineering 2 (1) (1990) 44\u201363","DOI":"10.1109\/69.50905"},{"issue":"6","key":"10.1016\/S0167-8191(00)00059-4_BIB6","doi-asserted-by":"crossref","first-page":"85","DOI":"10.1145\/129888.129894","article-title":"Parallel database systems: the future of high performance database systems","volume":"35","author":"De Witt","year":"1992","journal-title":"Communications of the ACM"},{"key":"10.1016\/S0167-8191(00)00059-4_BIB7","unstructured":"EDS Database Group, EDS collaborating for a high performance parallel relational database, in: ESPRIT Conference, Brussels, 1990"},{"key":"10.1016\/S0167-8191(00)00059-4_BIB8","unstructured":"A. El-Rayes, M. Kwiatkowska, S. Minton, Analysing performance of lift systems in PEPA, in: J. Hillston, R. Pooley (Eds.), The 12th UK Computer and Telecommunications Performance Engineering Workshop, The University of Edinburgh, September 1995, pp. 83\u2013100"},{"key":"10.1016\/S0167-8191(00)00059-4_BIB9","doi-asserted-by":"crossref","unstructured":"S. Gilmore, J. Hillston, The PEPA workbench: a tool to support a process algebra-based approach to performance modelling, in: Proceedings of the Seventh International Conference on Modelling Techniques and Tools for Computer Performance Evaluation, LNCS, vol. 794, Springer, Vienna, May 1994, pp. 353\u2013368","DOI":"10.1007\/3-540-58021-2_20"},{"key":"10.1016\/S0167-8191(00)00059-4_BIB10","unstructured":"G. Graefe, Encapsulation of parallelism in the Volcano query processing system, in: M. Stonebraker (Ed.), Readings in Database Systems, second ed., Morgan Kaufmann, San Francisco, CA, USA, 1994, pp. 627\u2013636"},{"key":"10.1016\/S0167-8191(00)00059-4_BIB11","doi-asserted-by":"crossref","unstructured":"J. Hillston, A Compositional Approach for Performance Modelling, Cambridge Press, Edinburgh University, 1996","DOI":"10.1017\/CBO9780511569951"},{"issue":"7","key":"10.1016\/S0167-8191(00)00059-4_BIB12","doi-asserted-by":"crossref","first-page":"542","DOI":"10.1093\/comjnl\/38.7.542","article-title":"A PEPA specification of an industrial production cell","volume":"38","author":"Holton","year":"1995","journal-title":"Computer Journal"},{"key":"10.1016\/S0167-8191(00)00059-4_BIB13","doi-asserted-by":"crossref","unstructured":"C. Jou, S.A. Smolka, Equivalences, congruences and complex axiomatization of probabilistic processes, in: J.C.M. Baeten, J.W. Klop (Eds.), CONCUR'90 LNCS, vol. 457, Springer, Berlin, August 1989, pp. 367\u2013383","DOI":"10.1007\/BFb0039071"},{"key":"10.1016\/S0167-8191(00)00059-4_BIB14","series-title":"Introduction to Computer System Performance Evaluation","author":"Kant","year":"1992"},{"key":"10.1016\/S0167-8191(00)00059-4_BIB15","series-title":"A Calculus of Communicating Systems","author":"Milner","year":"1980"},{"key":"10.1016\/S0167-8191(00)00059-4_BIB16","series-title":"Communication and Concurrency","author":"Milner","year":"1989"},{"key":"10.1016\/S0167-8191(00)00059-4_BIB17","unstructured":"F. Moller, C. Toft, A temporal calculus for communicating system, in: J.C.M. Baeten, J.W. Klop (Eds.), CONCUR'90, LNCS, vol. 458, Springer, Berlin, August 1989, pp. 142\u2013188"},{"key":"10.1016\/S0167-8191(00)00059-4_BIB18","unstructured":"P.M. Neches, The anatomy of a database computer-revisited, in: Proceedings of IEEE CompCon Spring Conference, 1986, pp. 374\u2013377"},{"key":"10.1016\/S0167-8191(00)00059-4_BIB19","doi-asserted-by":"crossref","unstructured":"C.S. Pua, M.H. Williams, Data placement in a parallel DBMS with multiple disks, to appear in Information and Software Technology (2000)","DOI":"10.1016\/S0950-5849(00)00135-X"},{"issue":"1","key":"10.1016\/S0167-8191(00)00059-4_BIB20","first-page":"4","article-title":"The case of shared-nothing","volume":"9","author":"Stonebraker","year":"1986","journal-title":"Database Engineering"},{"key":"10.1016\/S0167-8191(00)00059-4_BIB21","unstructured":"M. Stonebraker, R. Katz, D. Patterson, J. Ousterhout, The design of XPRS, in: Proceedings of the 14th International Conference on VLDB, Los Angeles, CA, USA, August 1988, pp. 318\u2013330"},{"key":"10.1016\/S0167-8191(00)00059-4_BIB22","doi-asserted-by":"crossref","unstructured":"Tandem Database Group, NonStopSQL, a distributed high-performance, high-reliability implementation of SQL, in: D. Gawlick, M. Haynie, A. Reuter (Eds.), High Performance Transaction Systems, Springer, New York, 1989, pp. 60\u2013104 (Chapter 13)","DOI":"10.1007\/3-540-51085-0"},{"key":"10.1016\/S0167-8191(00)00059-4_BIB23","unstructured":"Transaction Processing Performance Council (TPC), TPC BenchmarkTM B, June 1994"},{"key":"10.1016\/S0167-8191(00)00059-4_BIB24","unstructured":"Transaction Processing Performance Council (TPC), TPC BenchmentTM C, ITOM International Co., CA, USA, 1992"},{"key":"10.1016\/S0167-8191(00)00059-4_BIB25","doi-asserted-by":"crossref","first-page":"137","DOI":"10.1007\/BF01264049","article-title":"Parallel database systems: open problems and new issues","volume":"1","author":"Valduriez","year":"1993","journal-title":"Distributed and Parallel Databases"},{"issue":"4","key":"10.1016\/S0167-8191(00)00059-4_BIB26","article-title":"Practical throughput estimator for parallel database system","volume":"11","author":"Zhou","year":"1996","journal-title":"Software Engineering Journal"}],"container-title":["Parallel Computing"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0167819100000594?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0167819100000594?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2020,1,10]],"date-time":"2020-01-10T00:49:09Z","timestamp":1578617349000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0167819100000594"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000,12]]},"references-count":26,"journal-issue":{"issue":"13-14","published-print":{"date-parts":[[2000,12]]}},"alternative-id":["S0167819100000594"],"URL":"https:\/\/doi.org\/10.1016\/s0167-8191(00)00059-4","relation":{},"ISSN":["0167-8191"],"issn-type":[{"value":"0167-8191","type":"print"}],"subject":[],"published":{"date-parts":[[2000,12]]}}}