{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T09:17:23Z","timestamp":1725700643513},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642323348"},{"type":"electronic","value":"9783642323355"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-32335-5_12","type":"book-chapter","created":{"date-parts":[[2012,8,16]],"date-time":"2012-08-16T02:15:09Z","timestamp":1345083309000},"page":"119-129","source":"Crossref","is-referenced-by-count":0,"title":["Modelling Failures of Distributed Systems in Stochastic Process Algebras"],"prefix":"10.1007","author":[{"given":"Jerzy","family":"Brzezi\u0144ski","sequence":"first","affiliation":[]},{"given":"Dariusz","family":"Dwornikowski","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"12_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"132","DOI":"10.1007\/978-3-540-72522-0_4","volume-title":"Formal Methods for Performance Evaluation","author":"A. Clark","year":"2007","unstructured":"Clark, A., Gilmore, S., Hillston, J., Tribastone, M.: Stochastic Process Algebras. In: Bernardo, M., Hillston, J. (eds.) SFM 2007. LNCS, vol.\u00a04486, pp. 132\u2013179. Springer, Heidelberg (2007)"},{"key":"12_CR2","doi-asserted-by":"crossref","unstructured":"Bernardo, M., Donatiello, L., Ciancarini, P.: Stochastic process algebra: From an algebraic formalism to an architectural description language. In: Performance Evaluation of Complex Systems: Techniques and Tools, pp. 173\u2013182 (2002)","DOI":"10.1007\/3-540-45798-4_11"},{"key":"12_CR3","doi-asserted-by":"crossref","unstructured":"Goetz, N., Herzog, U., Rettelbach, M.: Multiprocessor and distributed system design: The integration of functional specification and performance analysis using stochastic process algebras. In: Performance Evaluation of Computer and Communication Systems, pp. 121\u2013146 (1993)","DOI":"10.1007\/BFb0013851"},{"key":"12_CR4","unstructured":"Herzog, U., Mertsiotakis, V.: Stochastic process algebras applied to failure modelling. Herzog and Rettelbach, 107\u2013126 (1994)"},{"key":"12_CR5","doi-asserted-by":"crossref","unstructured":"Feller, W.: An introduction to probability and its applications, New York (1958)","DOI":"10.1063\/1.3062516"},{"issue":"1-2","key":"12_CR6","doi-asserted-by":"publisher","first-page":"43","DOI":"10.1016\/S0304-3975(00)00305-4","volume":"274","author":"H. Hermanns","year":"2002","unstructured":"Hermanns, H., Herzog, U., Katoen, J.-P.: Process algebra for performance evaluation. Theoretical Computer Science\u00a0274(1-2), 43\u201387 (2002)","journal-title":"Theoretical Computer Science"},{"key":"12_CR7","unstructured":"Bernardo, M., Gorrieri, R.: A tutorial on empa: A theory of concurrent processes with nondeterminism, priorities, probabilities and time. Technical report, University of Bologna (1996)"},{"issue":"4","key":"12_CR8","doi-asserted-by":"publisher","first-page":"385","DOI":"10.1093\/comjnl\/bxh097","volume":"48","author":"J. Hillston","year":"2005","unstructured":"Hillston, J.: Tuning systems: From composition to performance. The Computer Journal\u00a048(4), 385 (2005)","journal-title":"The Computer Journal"},{"key":"12_CR9","doi-asserted-by":"crossref","unstructured":"Hillston, J.: A compositional approach to performance modelling. Cambridge Univ. Pr. (1996)","DOI":"10.1017\/CBO9780511569951"},{"issue":"1","key":"12_CR10","doi-asserted-by":"publisher","first-page":"11","DOI":"10.1109\/TDSC.2004.2","volume":"1","author":"A. Avizienis","year":"2004","unstructured":"Avizienis, A., Laprie, J.C., Randell, B., Landwehr, C.: Basic concepts and taxonomy of dependable and secure computing. IEEE Transactions on Dependable and Secure Computing\u00a01(1), 11\u201333 (2004)","journal-title":"IEEE Transactions on Dependable and Secure Computing"},{"key":"12_CR11","unstructured":"Guerraoui, R., Rodrigues, L.: Introduction to Reliable Distributed Programming. Springer (2006)"},{"key":"12_CR12","doi-asserted-by":"publisher","first-page":"375","DOI":"10.1145\/568522.568525","volume":"34","author":"E.N. Elnozahy","year":"2002","unstructured":"Elnozahy, E.N., Alvisi, L., Wang, Y.-M., Johnson, D.B.: A survey of rollback-recovery protocols in message-passing systems. ACM Comput. Surv.\u00a034, 375\u2013408 (2002)","journal-title":"ACM Comput. Surv."},{"key":"12_CR13","unstructured":"Thomas, N., Bradley, J.: Terminating processes in PEPA. In: University of Leeds, Citeseer (2001)"},{"key":"12_CR14","volume-title":"Algebraic theory of processes","author":"M. Hennessy","year":"1988","unstructured":"Hennessy, M.: Algebraic theory of processes. The MIT Press, Cambridge (1988)"},{"key":"12_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"358","DOI":"10.1007\/10722167_28","volume-title":"Computer Aided Verification","author":"C. Baier","year":"2000","unstructured":"Baier, C., Haverkort, B., Hermanns, H., Katoen, J.P.: Model Checking Continuous-time Markov Chains by Transient Analysis. In: Emerson, E.A., Sistla, A.P. (eds.) CAV 2000. LNCS, vol.\u00a01855, pp. 358\u2013372. Springer, Heidelberg (2000)"},{"key":"12_CR16","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/1883612.1883616","volume":"43","author":"F.C. Freiling","year":"2011","unstructured":"Freiling, F.C., Guerraoui, R., Kuznetsov, P.: The failure detector abstraction. ACM Comput. Surv.\u00a043, 9:1\u20139:40 (2011)","journal-title":"ACM Comput. Surv."},{"key":"12_CR17","doi-asserted-by":"publisher","first-page":"225","DOI":"10.1145\/226643.226647","volume":"43","author":"T.D. Chandra","year":"1996","unstructured":"Chandra, T.D., Toueg, S.: Unreliable failure detectors for reliable distributed systems. J. ACM\u00a043, 225\u2013267 (1996)","journal-title":"J. ACM"}],"container-title":["Advances in Intelligent Systems and Computing","Multimedia and Internet Systems: Theory and Practice"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-32335-5_12.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,4]],"date-time":"2021-05-04T08:00:43Z","timestamp":1620115243000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-32335-5_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642323348","9783642323355"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-32335-5_12","relation":{},"ISSN":["2194-5357","2194-5365"],"issn-type":[{"type":"print","value":"2194-5357"},{"type":"electronic","value":"2194-5365"}],"subject":[],"published":{"date-parts":[[2013]]}}}