{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T10:13:34Z","timestamp":1742984014475,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642136443"},{"type":"electronic","value":"9783642136450"}],"license":[{"start":{"date-parts":[[2010,1,1]],"date-time":"2010-01-01T00:00:00Z","timestamp":1262304000000},"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":[[2010]]},"DOI":"10.1007\/978-3-642-13645-0_11","type":"book-chapter","created":{"date-parts":[[2010,5,7]],"date-time":"2010-05-07T09:16:38Z","timestamp":1273223798000},"page":"141-154","source":"Crossref","is-referenced-by-count":1,"title":["Distributed Fault Tolerant Controllers"],"prefix":"10.1007","author":[{"given":"Leonardo","family":"Mostarda","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rudi","family":"Ball","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Naranker","family":"Dulay","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"11_CR1","volume-title":"Reliable Distributed Programming","author":"R. Guerraoui","year":"2006","unstructured":"Guerraoui, R., Rodrigues, L.: Reliable Distributed Programming. Springer, Heidelberg (2006)"},{"unstructured":"Oppenheimer, P.: Top-down network design. Cisco system inc. (2004)","key":"11_CR2"},{"key":"11_CR3","doi-asserted-by":"publisher","first-page":"72","DOI":"10.1109\/2.386988","volume":"28","author":"B.A. Schroeder","year":"1995","unstructured":"Schroeder, B.A.: On-line monitoring: A tutorial. IEEE Computer\u00a028, 72\u201378 (1995)","journal-title":"IEEE Computer"},{"doi-asserted-by":"crossref","unstructured":"Chandra, T.D., Griesemer, R., Redstone, J.: Paxos made live: an engineering perspective. In: PODC 2007, pp. 398\u2013407 (2007)","key":"11_CR4","DOI":"10.1145\/1281100.1281103"},{"unstructured":"Burrows, M.: The chubby lock service for loosely-coupled distributed systems. In: OSDI (2006)","key":"11_CR5"},{"doi-asserted-by":"crossref","unstructured":"Giannakopoulou, D., Pasareanu, C.S., Barringer, H.: Assumption generation for software component verification. In: ASE, pp. 3\u201312 (2002)","key":"11_CR6","DOI":"10.1109\/ASE.2002.1114984"},{"unstructured":"Penna, G.D., Magazzeni, D., Intrigila, B., Melatti, I., Tronci, E.: Automatic generation of optimal controllers through model checking techniques. In: ICINCO-ICSO, pp. 26\u201333 (2006)","key":"11_CR7"},{"doi-asserted-by":"crossref","unstructured":"Mostarda, L., Marinovic, S., Dulay, N.: Distributed orchestration of pervasive services. In: IEEE AINA (2010)","key":"11_CR8","DOI":"10.1109\/AINA.2010.100"},{"doi-asserted-by":"crossref","unstructured":"Pediaditakmois, D., Mostarda, L., Dong, C., Dulay, N.: Policies for Self Tuning Home Networks. In: IEEE POLICY 2009 (2009)","key":"11_CR9","DOI":"10.1109\/POLICY.2009.30"},{"unstructured":"Lamport, L.: Paxos made simple, fast, and byzantine. In: OPODIS, pp. 7\u20139 (2002)","key":"11_CR10"},{"key":"11_CR11","doi-asserted-by":"publisher","first-page":"558","DOI":"10.1145\/359545.359563","volume":"21","author":"L. Lamport","year":"1978","unstructured":"Lamport, L.: Time, clocks, and the ordering of events in a distributed system. Commun. ACM\u00a021, 558\u2013565 (1978)","journal-title":"Commun. ACM"},{"key":"11_CR12","volume-title":"Principles of Concurrent and Distributed Programming","author":"M. Ben-Ari","year":"2006","unstructured":"Ben-Ari, M.: Principles of Concurrent and Distributed Programming, 2nd edn. Addison-Wesley, Reading (2006)","edition":"2"},{"doi-asserted-by":"crossref","unstructured":"Mostarda, L., Ball, R., Dulay, N.: Distributed fault tolerant controllers. Technical report, Depart. of Computing. Imperial College, London (2010)","key":"11_CR13","DOI":"10.1007\/978-3-642-13645-0_11"},{"key":"11_CR14","doi-asserted-by":"publisher","first-page":"119","DOI":"10.1016\/j.entcs.2004.02.070","volume":"114","author":"F. Cao","year":"2005","unstructured":"Cao, F., Bryant, B.R., Burt, C.C., Raje, R.R., Olson, A.M., Auguston, M.: A component assembly approach based on aspect-oriented generative domain modeling. Electr. Notes Theor. Comput. Sci.\u00a0114, 119\u2013136 (2005)","journal-title":"Electr. Notes Theor. Comput. Sci."},{"doi-asserted-by":"crossref","unstructured":"Chen, F., Rosu, G.: Towards monitoring-oriented programming: A paradigm combining specification and implementation. Electr. Notes Theor. Comput. Sci. 89 (2003)","key":"11_CR15","DOI":"10.1016\/S1571-0661(04)81045-4"},{"doi-asserted-by":"crossref","unstructured":"Inverardi, P., Mostarda, L., Tivoli, M., Autili, M.: Synthesis of correct and distributed adaptors for component-based systems: an automatic approach. In: ASE, pp. 405\u2013409 (2005)","key":"11_CR16","DOI":"10.1145\/1101908.1101981"},{"doi-asserted-by":"crossref","unstructured":"Montagut, F., Molva, R.: Enabling pervasive execution of workflows. In: 2005 International Conference on Collaborative Computing: Networking, Applications and Worksharing (2005)","key":"11_CR17","DOI":"10.1109\/COLCOM.2005.1651227"},{"key":"11_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"280","DOI":"10.1007\/978-3-540-68265-3_18","volume-title":"Coordination Models and Languages","author":"R. Sen","year":"2008","unstructured":"Sen, R., Roman, G.C., Gill, C.: CiAN: A Workflow Engine for MANETs. In: Lea, D., Zavattaro, G. (eds.) COORDINATION 2008. LNCS, vol.\u00a05052, pp. 280\u2013295. Springer, Heidelberg (2008)"}],"container-title":["Lecture Notes in Computer Science","Distributed Applications and Interoperable Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-13645-0_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,28]],"date-time":"2019-05-28T21:55:18Z","timestamp":1559080518000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-13645-0_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642136443","9783642136450"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-13645-0_11","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}