{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,17]],"date-time":"2026-02-17T11:49:12Z","timestamp":1771328952834,"version":"3.50.1"},"publisher-location":"Cham","reference-count":21,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783319665825","type":"print"},{"value":"9783319665832","type":"electronic"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017]]},"DOI":"10.1007\/978-3-319-66583-2_17","type":"book-chapter","created":{"date-parts":[[2017,8,11]],"date-time":"2017-08-11T22:02:48Z","timestamp":1502488968000},"page":"266-281","source":"Crossref","is-referenced-by-count":1,"title":["Modelling and Analysis of Commit Protocols with PEPA"],"prefix":"10.1007","author":[{"given":"Said Naser Said","family":"Kamil","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Nigel","family":"Thomas","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2017,8,13]]},"reference":[{"issue":"4","key":"17_CR1","first-page":"381","volume":"5","author":"Y Al-Houmaily","year":"2008","unstructured":"Al-Houmaily, Y.: Incompatibilty dimensions and integration of atomic commit protocols. Int. Arab J. Inf. Technol. 5(4), 381\u2013392 (2008)","journal-title":"Int. Arab J. Inf. Technol."},{"key":"17_CR2","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/S0304-3975(97)00127-8","volume":"202","author":"M Bernardo","year":"1998","unstructured":"Bernardo, M., Gorrieri, R.: A tutorial on empa: A theory of concurrent processes with nondeterminism, priorities, probabilities and time. Theoret. Comput. Sci. 202, 1\u201354 (1998)","journal-title":"Theoret. Comput. Sci."},{"key":"17_CR3","unstructured":"Bernstein, P.A., Hadzilacos, V., Goodman, N.: Concurrency control and recovery in database systems (1987)"},{"key":"17_CR4","unstructured":"Chrysanthis, P.K., Samaras, G., Al-Houmaily, Y.J.: Recovery and performance of atomic commit processing in distributed database systems. Recovery Mechanisms in Database Systems, pp. 370\u2013416 (1998)"},{"key":"17_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"258","DOI":"10.1007\/3-540-58152-9_15","volume-title":"Application and Theory of Petri Nets 1994","author":"S Donatelli","year":"1994","unstructured":"Donatelli, S.: Superposed generalized stochastic Petri Nets: definition and efficient solution. In: Valette, R. (ed.) ICATPN 1994. LNCS, vol. 815, pp. 258\u2013277. Springer, Heidelberg (1994). doi:\n10.1007\/3-540-58152-9_15"},{"key":"17_CR6","doi-asserted-by":"crossref","unstructured":"El Abbadi, A., Skeen, D., Cristian F.: An efficient, fault-tolerant protocol for replicated data management. In: Proceedings of the Fourth ACM SIGACT-SIGMOD Symposium on Principles of Database Systems. PODS 1985, pp. 215\u2013229. ACM, New York (1985)","DOI":"10.1145\/325405.325443"},{"key":"17_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"393","DOI":"10.1007\/3-540-08755-9_9","volume-title":"Operating Systems: An Advanced Course","author":"JN Gray","year":"1978","unstructured":"Gray, J.N.: Notes on data base operating systems. In: Bayer, R., Graham, R.M., Seegm\u00fcller, G. (eds.) Operating Systems: An Advanced Course. LNCS, vol. 60, pp. 393\u2013481. Springer, Heidelberg (1978). doi:\n10.1007\/3-540-08755-9_9"},{"issue":"2","key":"17_CR8","doi-asserted-by":"crossref","first-page":"160","DOI":"10.1109\/71.841752","volume":"11","author":"JR Haritsa","year":"2000","unstructured":"Haritsa, J.R., Ramamritham, K., Gupta, R.: The PROMPT real-time commit protocol. IEEE Trans. Parallel Distrib. Syst. 11(2), 160\u2013181 (2000)","journal-title":"IEEE Trans. Parallel Distrib. Syst."},{"issue":"1","key":"17_CR9","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1093\/logcom\/10.1.3","volume":"10","author":"PG Harrison","year":"2000","unstructured":"Harrison, P.G., Strulo, B.: SPADES - a process algebra for discrete event simulation. J. Logic Comput. 10(1), 3\u201342 (2000)","journal-title":"J. Logic Comput."},{"key":"17_CR10","unstructured":"Hayden R.A., Bradley, J.T.: Fluid-flow solutions in PEPA to the state space explosion problem. In: 6th Workshop on Process Algebra and Stochastically Timed Activities (PASTA), p. 25 (2007)"},{"key":"17_CR11","doi-asserted-by":"crossref","unstructured":"Hillston, J.: Fluid flow approximation of PEPA models. In: Second International Conference on the Quantitative Evaluation of Systems (QEST 2005), pp. 33\u201342, September 2005","DOI":"10.1109\/QEST.2005.12"},{"key":"17_CR12","volume-title":"A Compositional Approach to Performance Modelling","author":"J Hillston","year":"2008","unstructured":"Hillston, J.: A Compositional Approach to Performance Modelling. Cambridge University Press, Cambridge (2008). New Ed edition (21 Aug. 2008)"},{"key":"17_CR13","unstructured":"Hillston, J., Gilmore, S.: Performance Evaluation Process Algebra (2011). \nhttp:\/\/www.dcs.ed.ac.uk\/pepa\/about\/\n\n. Accessed 05 April 2016"},{"key":"17_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"246","DOI":"10.1007\/3-540-10571-9_11","volume-title":"Distributed Systems \u2014 Architecture and Implementation","author":"BW Lampson","year":"1981","unstructured":"Lampson, B.W.: Atomic transactions. In: Davies, D.W., Holler, E., Jensen, E.D., Kimbleton, S.R., Lampson, B.W., LeLann, G., Thurber, K.J., Watson, R.W. (eds.) Distributed Systems \u2014 Architecture and Implementation. LNCS, vol. 105, pp. 246\u2013265. Springer, Heidelberg (1981). doi:\n10.1007\/3-540-10571-9_11"},{"key":"17_CR15","doi-asserted-by":"crossref","unstructured":"Skeen, D.: Nonblocking Commit Protocols. In: Proceedings of the 1981 ACM SIGMOD International Conference on Management of Data. SIGMOD 1981, pp. 133\u2013142. ACM, New York (1981)","DOI":"10.1145\/582318.582339"},{"key":"17_CR16","unstructured":"Skeen D.: A Quorum-Based Commit Protocol. Technical report, Cornell University, Ithaca, New York (1982)"},{"issue":"3","key":"17_CR17","doi-asserted-by":"crossref","first-page":"219","DOI":"10.1109\/TSE.1983.236608","volume":"SE\u20139","author":"D Skeen","year":"1983","unstructured":"Skeen, D., Stonebraker, M.: A formal model of crash recovery in a distributed system. IEEE Trans. Softw. Eng. SE\u20139(3), 219\u2013228 (1983)","journal-title":"IEEE Trans. Softw. Eng."},{"issue":"5","key":"17_CR18","doi-asserted-by":"crossref","first-page":"643","DOI":"10.1093\/comjnl\/bxq064","volume":"54","author":"N Thomas","year":"2011","unstructured":"Thomas, N., Zhao, Y.: Mean value analysis for a class of pepa models. Comput. J. 54(5), 643\u2013652 (2011)","journal-title":"Comput. J."},{"issue":"4","key":"17_CR19","doi-asserted-by":"crossref","first-page":"28","DOI":"10.1145\/1530873.1530880","volume":"36","author":"M Tribastone","year":"2009","unstructured":"Tribastone, M., Duguid, A., Gilmore, S.: The PEPA Eclipse Plugin. SIGMETRICS Perform. Eval. Rev. 36(4), 28\u201333 (2009)","journal-title":"SIGMETRICS Perform. Eval. Rev."},{"key":"17_CR20","volume-title":"Transactional Information Systems: Theory, Algorithms, and the Practice of Concurrency Control and Recovery","author":"G Weikum","year":"2001","unstructured":"Weikum, G., Vossen, G.: Transactional Information Systems: Theory, Algorithms, and the Practice of Concurrency Control and Recovery. Elsevier, Burlington (2001)"},{"issue":"1","key":"17_CR21","doi-asserted-by":"crossref","first-page":"80","DOI":"10.4018\/jwsr.2007010105","volume":"4","author":"Y Weihai","year":"2007","unstructured":"Weihai, Y., Calton, P.: A dynamic two-phase commit protocol for adaptive composite services. Int. J. Web Serv. Res. 4(1), 80\u201388 (2007)","journal-title":"Int. J. Web Serv. Res."}],"container-title":["Lecture Notes in Computer Science","Computer Performance Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-66583-2_17","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,8,11]],"date-time":"2017-08-11T22:07:02Z","timestamp":1502489222000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-66583-2_17"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319665825","9783319665832"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-66583-2_17","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2017]]}}}