{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,5]],"date-time":"2026-10-05T12:07:47Z","timestamp":1791202067027,"version":"4.2.0"},"publisher-location":"Berlin, Heidelberg","reference-count":99,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642546235","type":"print"},{"value":"9783642546242","type":"electronic"}],"license":[{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"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":[[2014]]},"DOI":"10.1007\/978-3-642-54624-2_20","type":"book-chapter","created":{"date-parts":[[2014,2,28]],"date-time":"2014-02-28T22:42:59Z","timestamp":1393627379000},"page":"402-433","source":"Crossref","is-referenced-by-count":6,"title":["Partially Ordered Knowledge Sharing and Fractionated Systems in the Context of other Models for Distributed Computing"],"prefix":"10.1007","author":[{"given":"Mark-Oliver","family":"Stehr","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Minyoung","family":"Kim","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Carolyn","family":"Talcott","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"key":"20_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"439","DOI":"10.1007\/11946441_43","volume-title":"Parallel and Distributed Processing and Applications","author":"J. Acosta-El\u00edas","year":"2006","unstructured":"Acosta-El\u00edas, J., Luna-Rivera, J.M., Recio-Lara, M., Guti\u00e9rrez-Navarro, O., Pineda-Reyes, B.: Topology-sensitive epidemic algorithm for information spreading in large-scale systems. In: Guo, M., Yang, L.T., Di Martino, B., Zima, H.P., Dongarra, J., Tang, F. (eds.) ISPA 2006. LNCS, vol.\u00a04330, pp. 439\u2013450. Springer, Heidelberg (2006)"},{"key":"20_CR2","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/1086.001.0001","volume-title":"Actors: a model of concurrent computation in distributed systems","author":"G. Agha","year":"1986","unstructured":"Agha, G.: Actors: a model of concurrent computation in distributed systems. MIT Press, Cambridge (1986)"},{"key":"20_CR3","unstructured":"Amir, Y.: Overtaken by events. In: Personnal Communication (April 2010)"},{"key":"20_CR4","doi-asserted-by":"crossref","first-page":"51","DOI":"10.1145\/1065983.1065997","volume-title":"NOSSDAV 2005: Proceedings of the International Workshop on Network and Operating Systems Support for Digital Audio and Video","author":"Y. Amir","year":"2005","unstructured":"Amir, Y., Danilov, C., Goose, S., Hedqvist, D., Terzis, A.: 1-800-overlays: using overlay networks to improve VoIP quality. In: NOSSDAV 2005: Proceedings of the International Workshop on Network and Operating Systems Support for Digital Audio and Video, pp. 51\u201356. ACM, New York (2005)"},{"issue":"4","key":"20_CR5","doi-asserted-by":"publisher","first-page":"335","DOI":"10.1145\/1041680.1041681","volume":"36","author":"S. Androutsellis-Theotokis","year":"2004","unstructured":"Androutsellis-Theotokis, S., Spinellis, D.: A survey of peer-to-peer content distribution technologies. ACM Comput. Surv.\u00a036(4), 335\u2013371 (2004)","journal-title":"ACM Comput. Surv."},{"key":"20_CR6","doi-asserted-by":"publisher","first-page":"82","DOI":"10.1145\/800141.804655","volume-title":"STOC 1980: Proceedings of the Twelfth Annual ACM Symposium on Theory of Computing","author":"D. Angluin","year":"1980","unstructured":"Angluin, D.: Local and global properties in networks of processors (extended abstract). In: STOC 1980: Proceedings of the Twelfth Annual ACM Symposium on Theory of Computing, pp. 82\u201393. ACM, New York (1980)"},{"issue":"4","key":"20_CR7","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/1452001.1452003","volume":"3","author":"D. Angluin","year":"2008","unstructured":"Angluin, D., Aspnes, J., Fischer, M.J., Jiang, H.: Self-stabilizing population protocols. ACM Trans. Auton. Adapt. Syst.\u00a03(4), 1\u201328 (2008)","journal-title":"ACM Trans. Auton. Adapt. Syst."},{"key":"20_CR8","doi-asserted-by":"publisher","first-page":"1015","DOI":"10.1109\/32.256850","volume":"19","author":"A. Arora","year":"1993","unstructured":"Arora, A., Gouda, M.: Closure and convergence: A foundation of fault-tolerant computing. IEEE Transactions on Software Engineering\u00a019, 1015\u20131027 (1993)","journal-title":"IEEE Transactions on Software Engineering"},{"issue":"3","key":"20_CR9","doi-asserted-by":"crossref","first-page":"293","DOI":"10.3233\/JHS-1996-5305","volume":"5","author":"A. Arora","year":"1996","unstructured":"Arora, A., Gouda, M., Varghese, G.: Constraint satisfaction as a basis for designing nonmasking fault-tolerance. J. High Speed Netw.\u00a05(3), 293\u2013306 (1996)","journal-title":"J. High Speed Netw."},{"key":"20_CR10","doi-asserted-by":"crossref","unstructured":"Attiya, H., Welch, J.: Distributed Computing: Fundamentals, Simulations, and Advanced Topics. Wiley-Interscience (2004)","DOI":"10.1002\/0471478210"},{"issue":"7","key":"20_CR11","doi-asserted-by":"publisher","first-page":"2748","DOI":"10.1109\/TSP.2009.2016247","volume":"57","author":"T.C. Aysal","year":"2009","unstructured":"Aysal, T.C., Yildiz, M.E., Sarwate, A.D., Scaglione, A.: Broadcast gossip algorithms for consensus. Trans. Sig. Proc.\u00a057(7), 2748\u20132761 (2009)","journal-title":"Trans. Sig. Proc."},{"key":"20_CR12","doi-asserted-by":"publisher","first-page":"26","DOI":"10.1145\/1152934.1152937","volume":"1","author":"O. Babaoglu","year":"2006","unstructured":"Babaoglu, O., Canright, G., Deutsch, A., Caro, G.D., Ducatelle, F., Gambardella, L., Ganguly, N., Jelasity, M., Montemanni, R.: Design patterns from biology for distributed computing. ACM Transactions on Autonomous and Adaptive Systems\u00a01, 26\u201366 (2006)","journal-title":"ACM Transactions on Autonomous and Adaptive Systems"},{"issue":"2","key":"20_CR13","doi-asserted-by":"publisher","first-page":"129","DOI":"10.1016\/0096-0551(91)90003-R","volume":"16","author":"H.E. Bal","year":"1991","unstructured":"Bal, H.E., Tanenbaum, A.S.: Distributed programming with shared data. Comput. Lang.\u00a016(2), 129\u2013146 (1991)","journal-title":"Comput. Lang."},{"issue":"2","key":"20_CR14","doi-asserted-by":"publisher","first-page":"43","DOI":"10.1145\/606272.606299","volume":"46","author":"H. Balakrishnan","year":"2003","unstructured":"Balakrishnan, H., Kaashoek, M.F., Karger, D., Morris, R., Stoica, I.: Looking up data in p2p systems. Commun. ACM\u00a046(2), 43\u201348 (2003)","journal-title":"Commun. ACM"},{"key":"20_CR15","unstructured":"Bessler, S., Fischer, A., K\u1e27n, E., Mordinyi, R., Tomic, S.: Using tuple-spaces to manage the storage and dissemination of spatial-temporal content. Journal of Computer and System Sciences (2009)"},{"issue":"5","key":"20_CR16","doi-asserted-by":"publisher","first-page":"8","DOI":"10.1145\/1317379.1317382","volume":"41","author":"K. Birman","year":"2007","unstructured":"Birman, K.: The promise, and limitations, of gossip protocols. SIGOPS Oper. Syst. Rev.\u00a041(5), 8\u201313 (2007)","journal-title":"SIGOPS Oper. Syst. Rev."},{"issue":"2","key":"20_CR17","doi-asserted-by":"publisher","first-page":"41","DOI":"10.1145\/312203.312207","volume":"17","author":"K.P. Birman","year":"1999","unstructured":"Birman, K.P., Hayden, M., Ozkasap, O., Xiao, Z., Budiu, M., Minsky, Y.: Bimodal multicast. ACM Trans. Comput. Syst.\u00a017(2), 41\u201388 (1999)","journal-title":"ACM Trans. Comput. Syst."},{"issue":"8","key":"20_CR18","doi-asserted-by":"publisher","first-page":"930","DOI":"10.1109\/12.2245","volume":"37","author":"R. Bisiani","year":"1988","unstructured":"Bisiani, R., Forin, A.: Multilanguage parallel programming of heterogeneous machines. IEEE Trans. Comput.\u00a037(8), 930\u2013945 (1988)","journal-title":"IEEE Trans. Comput."},{"key":"20_CR19","doi-asserted-by":"crossref","unstructured":"Boldi, P., Vigna, S.: Self-stabilizing universal algorithms. In: Self\u2013Stabilizing Systems (Proc. of the 3rd Workshop on Self\u2013Stabilizing Systems), pp. 141\u2013156. Carleton University Press (1997)","DOI":"10.1515\/9780773591141-011"},{"issue":"3","key":"20_CR20","doi-asserted-by":"publisher","first-page":"421","DOI":"10.1017\/S0960129504004189","volume":"14","author":"R. Bruni","year":"2004","unstructured":"Bruni, R., Montanari, U.: Concurrent models for linda with transactions. Mathematical. Structures in Comp. Sci.\u00a014(3), 421\u2013468 (2004)","journal-title":"Mathematical. Structures in Comp. Sci."},{"key":"20_CR21","unstructured":"Busnel, Y., Bertier, M., Kermarrec, A.-M.: Bridging the Gap between Population and Gossip-based Protocols. Research Report RR-6720, INRIA (2008)"},{"key":"20_CR22","unstructured":"Cerf, V., Burleigh, S., Hooke, A., Torgerson, L., Durst, R., Scott, K., Travis, E., Weiss, H.: Status of this memo interplanetary internet (ipn): Architectural definition, Internet Draft (May 2001)"},{"key":"20_CR23","unstructured":"Chandy, K.M.: Parallel program design: a foundation. Addison-Wesley Longman Publishing Co. Inc. (1988)"},{"key":"20_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"186","DOI":"10.1007\/3-540-56863-8_47","volume-title":"Application and Theory of Petri Nets 1993","author":"S. Christensen","year":"1993","unstructured":"Christensen, S., Hansen, N.D.: Coloured petri nets extended with place capacities, test arcs and inhibitor arcs. In: Ajmone Marsan, M. (ed.) ICATPN 1993. LNCS, vol.\u00a0691, pp. 186\u2013205. Springer, Heidelberg (1993)"},{"key":"20_CR25","doi-asserted-by":"crossref","unstructured":"Cole, R., Zajicek, O.: The APRAM: incorporating asynchrony into the PRAM model. In: SPAA 1989: Proceedings of the First Annual ACM Symposium on Parallel Algorithms and Architectures, pp. 169\u2013178. ACM (1989)","DOI":"10.1145\/72935.72954"},{"issue":"2","key":"20_CR26","doi-asserted-by":"publisher","first-page":"286","DOI":"10.1006\/jcss.1995.1067","volume":"51","author":"R. Cole","year":"1995","unstructured":"Cole, R., Zajicek, O.: The expected advantage of asynchrony. J. Comput. Syst. Sci.\u00a051(2), 286\u2013300 (1995)","journal-title":"J. Comput. Syst. Sci."},{"key":"20_CR27","unstructured":"Corkill, D.D.: Design alternatives for parallel and distributed blackboard systems. In: Jagannathan, V., Dodhiawala, R., Baum, L.S. (eds.) Blackboard Architectures and Applications, pp. 99\u2013136. Academic Press (1989)"},{"key":"20_CR28","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/41840.41841","volume-title":"PODC 1987: Proceedings of the Sixth Annual ACM Symposium on Principles of Distributed Computing","author":"A. Demers","year":"1987","unstructured":"Demers, A., Greene, D., Hauser, C., Irish, W., Larson, J., Shenker, S., Sturgis, H., Swinehart, D., Terry, D.: Epidemic algorithms for replicated database maintenance. In: PODC 1987: Proceedings of the Sixth Annual ACM Symposium on Principles of Distributed Computing, pp. 1\u201312. ACM, New York (1987)"},{"key":"20_CR29","first-page":"681","volume-title":"ICDCS 2008: Proceedings of the 2008 The 28th International Conference on Distributed Computing Systems","author":"S. Devismes","year":"2008","unstructured":"Devismes, S., Tixeuil, S., Yamashita, M.: Weak vs. self vs. probabilistic stabilization. In: ICDCS 2008: Proceedings of the 2008 The 28th International Conference on Distributed Computing Systems, pp. 681\u2013688. IEEE Computer Society, Washington, DC (2008)"},{"issue":"11","key":"20_CR30","doi-asserted-by":"publisher","first-page":"643","DOI":"10.1145\/361179.361202","volume":"17","author":"E.W. Dijkstra","year":"1974","unstructured":"Dijkstra, E.W.: Self-stabilizing systems in spite of distributed control. Commun. ACM\u00a017(11), 643\u2013644 (1974)","journal-title":"Commun. ACM"},{"key":"20_CR31","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/6156.001.0001","volume-title":"Self-stabilization","author":"S. Dolev","year":"2000","unstructured":"Dolev, S.: Self-stabilization. MIT Press, Cambridge (2000)"},{"issue":"6-7","key":"20_CR32","doi-asserted-by":"publisher","first-page":"514","DOI":"10.1016\/j.tcs.2008.10.006","volume":"410","author":"S. Dolev","year":"2009","unstructured":"Dolev, S., Tzachar, N.: Empire of colonies: Self-stabilizing and self-organizing distributed algorithm. Theor. Comput. Sci.\u00a0410(6-7), 514\u2013532 (2009)","journal-title":"Theor. Comput. Sci."},{"key":"20_CR33","unstructured":"Engelmore, R.S., Morgan, A. (eds.): Blackboard Systems. Addison-Wesley (1988)"},{"key":"20_CR34","unstructured":"Ensor, J.R., Gabbe, J.D.: Transactional blackboards. In: IJCAI 1985: Proceedings of the 9th International Joint Conference on Artificial Intelligence, pp. 340\u2013344. Morgan Kaufmann Publishers Inc. (1985)"},{"issue":"1","key":"20_CR35","doi-asserted-by":"publisher","first-page":"71","DOI":"10.1145\/218646.218651","volume":"30","author":"M.R. Eskicioglu","year":"1996","unstructured":"Eskicioglu, M.R.: A comprehensive bibliography of distributed shared memory. SIGOPS Oper. Syst. Rev.\u00a030(1), 71\u201396 (1996)","journal-title":"SIGOPS Oper. Syst. Rev."},{"key":"20_CR36","unstructured":"R. K et al.: The spindle disruption tolerant networking system. In: Proceedings of IEEE Military Communications Conference (2007)"},{"issue":"5","key":"20_CR37","doi-asserted-by":"publisher","first-page":"37","DOI":"10.1145\/1317379.1317386","volume":"41","author":"P. Eugster","year":"2007","unstructured":"Eugster, P., Felber, P., Le Fessant, F.: The \u201cart\u201d of programming gossip-based systems. SIGOPS Oper. Syst. Rev.\u00a041(5), 37\u201342 (2007)","journal-title":"SIGOPS Oper. Syst. Rev."},{"key":"20_CR38","doi-asserted-by":"publisher","first-page":"60","DOI":"10.1109\/MC.2004.1297243","volume":"37","author":"P.T. Eugster","year":"2004","unstructured":"Eugster, P.T., Guerraoui, R., Kermarrec, A.M., Massouli, L.: From epidemics to distributed computing. IEEE Computer\u00a037, 60\u201367 (2004)","journal-title":"IEEE Computer"},{"key":"20_CR39","doi-asserted-by":"crossref","unstructured":"Fall, K.: A delay-tolerant network architecture for challenged internets. In: SIGCOMM 2003: Proceedings of the 2003 Conference on Applications, Technologies, Architectures, and Protocols for Computer Communications, pp. 27\u201334. ACM (2003)","DOI":"10.1145\/863955.863960"},{"key":"20_CR40","volume-title":"Delay- and Disruption-Tolerant Networking","author":"S. Farrell","year":"2006","unstructured":"Farrell, S., Cahill, V.: Delay- and Disruption-Tolerant Networking. Artech House, Inc., Norwood (2006)"},{"issue":"5","key":"20_CR41","doi-asserted-by":"publisher","first-page":"19","DOI":"10.1145\/1317379.1317384","volume":"41","author":"Y. Fernandess","year":"2007","unstructured":"Fernandess, Y., Fern\u00e1ndez, A., Monod, M.: A generic theoretical framework for modeling gossip-based algorithms. SIGOPS Oper. Syst. Rev.\u00a041(5), 19\u201327 (2007)","journal-title":"SIGOPS Oper. Syst. Rev."},{"issue":"2-3","key":"20_CR42","doi-asserted-by":"publisher","first-page":"121","DOI":"10.1007\/s00446-003-0091-y","volume":"16","author":"F. Fich","year":"2003","unstructured":"Fich, F., Ruppert, E.: Hundreds of impossibility results for distributed computing. Distrib. Comput.\u00a016(2-3), 121\u2013163 (2003)","journal-title":"Distrib. Comput."},{"issue":"2","key":"20_CR43","doi-asserted-by":"publisher","first-page":"374","DOI":"10.1145\/3149.214121","volume":"32","author":"M.J. Fischer","year":"1985","unstructured":"Fischer, M.J., Lynch, N.A., Paterson, M.S.: Impossibility of distributed consensus with one faulty process. J. ACM\u00a032(2), 374\u2013382 (1985)","journal-title":"J. ACM"},{"issue":"1-2","key":"20_CR44","doi-asserted-by":"publisher","first-page":"201","DOI":"10.1016\/S0377-0427(00)00409-X","volume":"123","author":"A. Frommer","year":"2000","unstructured":"Frommer, A., Szyld, D.B.: On asynchronous iterations. J. Comput. Appl. Math.\u00a0123(1-2), 201\u2013216 (2000)","journal-title":"J. Comput. Appl. Math."},{"key":"20_CR45","doi-asserted-by":"crossref","unstructured":"Gibbons, P.B.: A more practical PRAM model. In: SPAA 1989: Proceedings of the First Annual ACM Symposium on Parallel Algorithms and Architectures, pp. 158\u2013168. ACM (1989)","DOI":"10.1145\/72935.72953"},{"key":"20_CR46","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0304-3975(87)90045-4","volume":"50","author":"J.-Y. Girard","year":"1987","unstructured":"Girard, J.-Y.: Linear logic. Theor. Comput. Sci.\u00a050, 1\u2013102 (1987)","journal-title":"Theor. Comput. Sci."},{"key":"20_CR47","unstructured":"Golding, R.A., Long, D.D.E.: The performance of weak-consistency replication protocols. Technical Report UCSC-CRL-92-30, Santa Cruz, CA, USA (1992)"},{"issue":"4","key":"20_CR48","doi-asserted-by":"publisher","first-page":"448","DOI":"10.1109\/12.88464","volume":"40","author":"M.G. Gouda","year":"1991","unstructured":"Gouda, M.G., Multari, N.J.: Stabilizing communication protocols. IEEE Trans. Comput.\u00a040(4), 448\u2013458 (1991)","journal-title":"IEEE Trans. Comput."},{"key":"20_CR49","unstructured":"Guerraoui, R., Olivera, R., Schiper, A.: Stubborn communication channels. Technical report, LSE, D\u2019epartement d\u2019Informatique, Ecole Polytechnique F\u2019ed\u2019erale de (1996)"},{"key":"20_CR50","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"89","DOI":"10.1007\/3-540-40026-5_6","volume-title":"Distributed Computing","author":"I. Gupta","year":"2000","unstructured":"Gupta, I., Renesse, R.V., Birman, K.P.: A probabilistically correct leader election protocol for large groups. In: Herlihy, M.P. (ed.) DISC 2000. LNCS, vol.\u00a01914, pp. 89\u2013103. Springer, Heidelberg (2000)"},{"key":"20_CR51","doi-asserted-by":"publisher","first-page":"549","DOI":"10.1145\/79147.79161","volume":"37","author":"J.Y. Halpern","year":"1984","unstructured":"Halpern, J.Y., Moses, Y.: Knowledge and common knowledge in a distributed environment. Journal of the ACM\u00a037, 549\u2013587 (1984)","journal-title":"Journal of the ACM"},{"key":"20_CR52","doi-asserted-by":"crossref","unstructured":"Heer, T., Gotz, S., Rieche, S., Wehrle, K.: Adapting distributed hash tables for mobile ad hoc networks. In: PERCOMW 2006: Proceedings of the 4th Annual IEEE International Conference on Pervasive Computing and Communications Workshops, p. 173. IEEE Computer Society (2006)","DOI":"10.1109\/PERCOMW.2006.16"},{"key":"20_CR53","doi-asserted-by":"publisher","first-page":"327","DOI":"10.1145\/113379.113409","volume-title":"SPAA 1991: Proceedings of the Third Annual ACM Symposium on Parallel Algorithms and Architectures","author":"M. Herlihy","year":"1991","unstructured":"Herlihy, M.: Impossibility results for asynchronous PRAM (extended abstract). In: SPAA 1991: Proceedings of the Third Annual ACM Symposium on Parallel Algorithms and Architectures, pp. 327\u2013336. ACM, New York (1991)"},{"key":"20_CR54","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"205","DOI":"10.1007\/978-3-540-24604-6_20","volume-title":"Distributed Computing - IWDC 2003","author":"T. Herman","year":"2003","unstructured":"Herman, T.: Models of self-stabilization and sensor networks. In: Das, S.R., Das, S.K. (eds.) IWDC 2003. LNCS, vol.\u00a02918, pp. 205\u2013214. Springer, Heidelberg (2003)"},{"key":"20_CR55","doi-asserted-by":"crossref","unstructured":"Howell, R.R., Nesterenko, M., Mizuno, M., Mizuno, M.: Finite-state self-stabilizing protocols in message-passing systems. In: Proceedings of the Fourth Workshop on Self-Stabilizing Systems, pp. 62\u201369 (1999)","DOI":"10.1006\/jpdc.2001.1825"},{"key":"20_CR56","doi-asserted-by":"crossref","first-page":"226","DOI":"10.1109\/SFCS.1994.365691","volume-title":"SFCS 1994: Proceedings of the 35th Annual Symposium on Foundations of Computer Science","author":"G. Itkis","year":"1994","unstructured":"Itkis, G., Levin, L.: Fast and lean self-stabilizing asynchronous protocols. In: SFCS 1994: Proceedings of the 35th Annual Symposium on Foundations of Computer Science, pp. 226\u2013239. IEEE Computer Society, Washington, DC (1994)"},{"key":"20_CR57","doi-asserted-by":"crossref","unstructured":"Jacobson, V., Smetters, D.K., Thornton, J.D., Plass, M.F., Briggs, N.H., Braynard, R.L.: Networking named content. In: CoNEXT 2009: Proceedings of the 5th International Conference on Emerging Networking Experiments and Technologies, pp. 1\u201312. ACM (2009)","DOI":"10.1145\/1658939.1658941"},{"issue":"3","key":"20_CR58","doi-asserted-by":"publisher","first-page":"8","DOI":"10.1145\/1275517.1275520","volume":"25","author":"M. Jelasity","year":"2007","unstructured":"Jelasity, M., Voulgaris, S., Guerraoui, R., Kermarrec, A.-M., van Steen, M.: Gossip-based peer sampling. ACM Trans. Comput. Syst.\u00a025(3), 8 (2007)","journal-title":"ACM Trans. Comput. Syst."},{"issue":"2","key":"20_CR59","doi-asserted-by":"publisher","first-page":"393","DOI":"10.1109\/TII.2012.2183878","volume":"8","author":"W. Kang","year":"2012","unstructured":"Kang, W., Kapitanova, K., Son, S.H.: RDDS: A real-time data distribution service for cyber-physical systems. IEEE Trans. Industrial Informatics\u00a08(2), 393\u2013405 (2012)","journal-title":"IEEE Trans. Industrial Informatics"},{"key":"20_CR60","unstructured":"Karp, R., Schindelhauer, C., Shenker, S., Vocking, B.: Randomized rumor spreading. In: FOCS 2000: Proceedings of the 41st Annual Symposium on Foundations of Computer Science, p. 565. IEEE Computer Society (2000)"},{"key":"20_CR61","doi-asserted-by":"crossref","unstructured":"Katz, S., Perry, K.: Self-stabilizing extensions for message-passing systems. In: PODC 1990: Proceedings of the Ninth Annual ACM Symposium on Principles of Distributed Computing, pp. 91\u2013101. ACM (1990)","DOI":"10.1145\/93385.93405"},{"key":"20_CR62","unstructured":"Kempe, D., Dobra, A., Gehrke, J.: Gossip-based computation of aggregate information. In: FOCS 2003: Proceedings of the 44th Annual IEEE Symposium on Foundations of Computer Science, p. 482. IEEE Computer Society, Washington, DC (2003)"},{"key":"20_CR63","doi-asserted-by":"crossref","unstructured":"Kempe, D., Kleinberg, J., Demers, A.: Spatial gossip and resource location protocols. In: STOC 2001: Proceedings of the Thirty-Third Annual ACM Symposium on Theory of Computing, pp. 163\u2013172. ACM (2001)","DOI":"10.1145\/380752.380796"},{"issue":"5","key":"20_CR64","doi-asserted-by":"publisher","first-page":"2","DOI":"10.1145\/1317379.1317381","volume":"41","author":"A.-M. Kermarrec","year":"2007","unstructured":"Kermarrec, A.-M., van Steen, M.: Gossiping in distributed systems. SIGOPS Oper. Syst. Rev.\u00a041(5), 2\u20137 (2007)","journal-title":"SIGOPS Oper. Syst. Rev."},{"issue":"4","key":"20_CR65","doi-asserted-by":"publisher","first-page":"564","DOI":"10.1016\/j.jpdc.2012.01.007","volume":"72","author":"J. Kim","year":"2012","unstructured":"Kim, J., Kim, M., Stehr, M.-O., Oh, H., Ha, S.: A parallel and distributed meta-heuristic framework based on partially ordered knowledge sharing. ELSEVIER Journal of Parallel and Distributed Computing (JPDC)\u00a072(4), 564\u2013578 (2012)","journal-title":"ELSEVIER Journal of Parallel and Distributed Computing (JPDC)"},{"key":"20_CR66","doi-asserted-by":"crossref","unstructured":"Kim, M., Stehr, M.-O., Talcott, C.: A distributed logic for networked cyber-physical systems. ELSEVIER Journal of Science of Computer Programming (2013), http:\/\/dx.doi.org\/10.1016\/j.scico.2013.01.011","DOI":"10.1016\/j.scico.2013.01.011"},{"key":"20_CR67","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-84800-048-3","volume-title":"Probability Theory: A Comprehensive Course","author":"A. Klenke","year":"2008","unstructured":"Klenke, A.: Probability Theory: A Comprehensive Course. Springer, London (2008)"},{"issue":"2","key":"20_CR68","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1016\/j.comcom.2005.05.016","volume":"29","author":"S.S. Kulkarni","year":"2006","unstructured":"Kulkarni, S.S., Arumugam, M.: Transformations for write-all-with-collision model. Comput. Commun.\u00a029(2), 183\u2013199 (2006)","journal-title":"Comput. Commun."},{"key":"20_CR69","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"119","DOI":"10.1007\/978-3-540-69355-0_11","volume-title":"Structural Information and Communication Complexity","author":"B. Lahiri","year":"2008","unstructured":"Lahiri, B., Tirthapura, S.: Computing frequent elements using gossip. In: Shvartsman, A.A., Felber, P. (eds.) SIROCCO 2008. LNCS, vol.\u00a05058, pp. 119\u2013130. Springer, Heidelberg (2008)"},{"key":"20_CR70","doi-asserted-by":"crossref","unstructured":"Lesser, V.R., Corkill, D.D.: Functionally accurate, cooperative distributed systems. In: Distributed Artificial Intelligence, pp. 295\u2013310. Morgan Kaufmann Publishers Inc. (1988)","DOI":"10.1016\/B978-0-934613-63-7.50034-6"},{"key":"20_CR71","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"295","DOI":"10.1007\/3-540-45748-8_28","volume-title":"Peer-to-Peer Systems","author":"N.A. Lynch","year":"2002","unstructured":"Lynch, N.A., Malkhi, D., Ratajczak, D.: Atomic data access in distributed hash tables. In: Druschel, P., Kaashoek, M.F., Rowstron, A. (eds.) IPTPS 2002. LNCS, vol.\u00a02429, pp. 295\u2013305. Springer, Heidelberg (2002)"},{"issue":"1","key":"20_CR72","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1016\/0304-3975(92)90182-F","volume":"96","author":"J. Meseguer","year":"1992","unstructured":"Meseguer, J.: Conditioned rewriting logic as a united model of concurrency. Theor. Comput. Sci.\u00a096(1), 73\u2013155 (1992)","journal-title":"Theor. Comput. Sci."},{"issue":"2","key":"20_CR73","doi-asserted-by":"publisher","first-page":"245","DOI":"10.1016\/0304-3975(96)00032-1","volume":"162","author":"F.M. Heide auf der","year":"1996","unstructured":"auf der Heide, F.M., Scheideler, C., Stemann, V.: Exploiting storage redundancy to speed up randomized shared memory simulations. Theor. Comput. Sci.\u00a0162(2), 245\u2013281 (1996)","journal-title":"Theor. Comput. Sci."},{"key":"20_CR74","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4419-8528-6","volume-title":"A discipline of multiprogramming: programming theory for distributed applications","author":"J. Misra","year":"2001","unstructured":"Misra, J.: A discipline of multiprogramming: programming theory for distributed applications. Springer-Verlag New York, Inc., Secaucus (2001)"},{"key":"20_CR75","doi-asserted-by":"crossref","unstructured":"Moser, L.E., Amir, Y., Melliar-Smith, P.M., Agarwal, D.A.: Extended virtual synchrony. In: Proceedings of the IEEE 14th International Conference on Distributed Computing Systems, pp. 56\u201365. IEEE Computer Society Press (1994)","DOI":"10.1109\/ICDCS.1994.302392"},{"key":"20_CR76","doi-asserted-by":"publisher","first-page":"113","DOI":"10.1145\/1146381.1146401","volume-title":"PODC 2006: Proceedings of the Twenty-Fifth Annual ACM Symposium on Principles of Distributed Computing","author":"D. Mosk-Aoyama","year":"2006","unstructured":"Mosk-Aoyama, D., Shah, D.: Computing separable functions via gossip. In: PODC 2006: Proceedings of the Twenty-Fifth Annual ACM Symposium on Principles of Distributed Computing, pp. 113\u2013122. ACM, New York (2006)"},{"issue":"3","key":"20_CR77","doi-asserted-by":"publisher","first-page":"279","DOI":"10.1145\/1151695.1151698","volume":"15","author":"A.L. Murphy","year":"2006","unstructured":"Murphy, A.L., Picco, G.P., Roman, G.-C.: Lime: A coordination model and middleware supporting mobility of hosts and agents. ACM Trans. Softw. Eng. Methodol.\u00a015(3), 279\u2013328 (2006)","journal-title":"ACM Trans. Softw. Eng. Methodol."},{"key":"20_CR78","series-title":"Lecture Notes in Computer Science","first-page":"25","volume-title":"FMCO 2011","author":"R. De Nicola","year":"2012","unstructured":"De Nicola, R., Ferrari, G., Loreti, M., Pugliese, R.: A language-based approach to autonomic computing. In: Beckert, B., Damiani, F., de Boer, F.S., Bonsangue, M.M. (eds.) FMCO 2011. LNCS, vol.\u00a07542, pp. 25\u201348. Springer, Heidelberg (2012)"},{"key":"20_CR79","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"4","DOI":"10.1007\/978-3-540-85361-9_3","volume-title":"CONCUR 2008 - Concurrency Theory","author":"P. Panangaden","year":"2008","unstructured":"Panangaden, P.: Knowledge and information in probabilistic systems. In: van Breugel, F., Chechik, M. (eds.) CONCUR 2008. LNCS, vol.\u00a05201, p. 4. Springer, Heidelberg (2008)"},{"key":"20_CR80","doi-asserted-by":"publisher","first-page":"100","DOI":"10.1109\/NCA.2001.962521","volume-title":"NCA 2001: Proceedings of the IEEE International Symposium on Network Computing and Applications","author":"J. Pereira","year":"2001","unstructured":"Pereira, J., Oliveira, R., Rodrigues, L., Kermarrec, A.-M.: Probabilistic semantically reliable multicast. In: NCA 2001: Proceedings of the IEEE International Symposium on Network Computing and Applications, p. 100. IEEE Computer Society, Washington, DC (2001)"},{"issue":"2","key":"20_CR81","doi-asserted-by":"publisher","first-page":"150","DOI":"10.1109\/TC.2003.1176983","volume":"52","author":"J. Pereira","year":"2003","unstructured":"Pereira, J., Rodrigues, L., Oliveira, R.: Semantically reliable multicast: Definition, implementation, and performance evaluation. IEEE Trans. Comput.\u00a052(2), 150\u2013165 (2003)","journal-title":"IEEE Trans. Comput."},{"key":"20_CR82","doi-asserted-by":"crossref","unstructured":"Petersen, K., Spreitzer, M.J., Terry, D.B., Theimer, M.M., Demers, A.J.: Flexible update propagation for weakly consistent replication. In: SOSP 1997: Proceedings of the Sixteenth ACM Symposium on Operating Systems Principles, pp. 288\u2013301. ACM (1997)","DOI":"10.1145\/269005.266711"},{"key":"20_CR83","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-59173-7","volume-title":"Extensions of the Unity Methodology: Compositionality, Fairness and Probability in Parallelism","author":"J.R. Rao","year":"1995","unstructured":"Rao, J.R.: Extensions of the Unity Methodology: Compositionality, Fairness and Probability in Parallelism. Springer-Verlag New York, Inc., Secaucus (1995)"},{"key":"20_CR84","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"45","DOI":"10.1007\/3-540-45748-8_4","volume-title":"Peer-to-Peer Systems","author":"S. Ratnasamy","year":"2002","unstructured":"Ratnasamy, S., Stoica, I., Shenker, S.: Routing algorithms for dhts: Some open questions. In: Druschel, P., Kaashoek, M.F., Rowstron, A. (eds.) IPTPS 2002. LNCS, vol.\u00a02429, pp. 45\u201352. Springer, Heidelberg (2002)"},{"key":"20_CR85","doi-asserted-by":"crossref","unstructured":"Reisig, W.: Elements of distributed algorithms: modeling and analysis with Petri nets. Springer-Verlag New York, Inc. (1998)","DOI":"10.1007\/978-3-662-03687-7"},{"issue":"1","key":"20_CR86","doi-asserted-by":"publisher","first-page":"45","DOI":"10.1145\/151254.151256","volume":"25","author":"M. Schneider","year":"1993","unstructured":"Schneider, M.: Self-stabilization. ACM Comput. Surv.\u00a025(1), 45\u201367 (1993)","journal-title":"ACM Comput. Surv."},{"key":"20_CR87","unstructured":"Stehr, M.-O., Kim, M., Talcott, C.: Toward distributed declarative control of networked cyber-physical systems. In: Proc. of the 7th Intl. Conf. on Ubiquitous Intelligence and Computing (to appear). Full version available http:\/\/www.csl.sri.com\/~stehr\/CPS\/cpslogic.pdf"},{"key":"20_CR88","doi-asserted-by":"crossref","unstructured":"Stehr, M.-O., Talcott, C.: Planning and learning algorithms for routing in disruption-tolerant networks. In: Proceedings of IEEE Military Communications Conference (2008)","DOI":"10.1109\/MILCOM.2008.4753336"},{"key":"20_CR89","first-page":"236","volume-title":"SAINT 2006: Proceedings of the International Symposium on Applications on Internet","author":"B. Temkow","year":"2006","unstructured":"Temkow, B., Bosneag, A.-M., Li, X., Brockmeyer, M.: PaxonDHT: Achieving consensus in distributed hash tables. In: SAINT 2006: Proceedings of the International Symposium on Applications on Internet, pp. 236\u2013244. IEEE Computer Society, Washington, DC (2006)"},{"issue":"1","key":"20_CR90","doi-asserted-by":"publisher","first-page":"78","DOI":"10.1504\/IJCNDS.2009.021695","volume":"2","author":"V. Turau","year":"2009","unstructured":"Turau, V., Weyer, C.: Fault tolerance in wireless sensor networks through self-stabilisation. Int. J. Commun. Netw. Distrib. Syst.\u00a02(1), 78\u201398 (2009)","journal-title":"Int. J. Commun. Netw. Distrib. Syst."},{"issue":"2","key":"20_CR91","doi-asserted-by":"publisher","first-page":"164","DOI":"10.1145\/762483.762485","volume":"21","author":"R. Renesse Van","year":"2003","unstructured":"Van Renesse, R., Birman, K.P., Vogels, W.: Astrolabe: A robust and scalable technology for distributed system monitoring, management, and data mining. ACM Trans. Comput. Syst.\u00a021(2), 164\u2013206 (2003)","journal-title":"ACM Trans. Comput. Syst."},{"key":"20_CR92","doi-asserted-by":"crossref","unstructured":"van Renesse, R., Dumitriu, D., Gough, V., Thomas, C.: Efficient reconciliation and flow control for anti-entropy protocols. In: LADIS 2008: Proceedings of the 2nd Workshop on Large-Scale Distributed Systems and Middleware, pp. 1\u20137. ACM (2008)","DOI":"10.1145\/1529974.1529983"},{"key":"20_CR93","doi-asserted-by":"crossref","unstructured":"Varghese, G.: Self-stabilization by counter flushing. In: PODC 1994: Proceedings of the Thirteenth Annual ACM Symposium on Principles of Distributed Computing, pp. 244\u2013253. ACM (1994)","DOI":"10.1145\/197917.198102"},{"issue":"1","key":"20_CR94","doi-asserted-by":"publisher","first-page":"33","DOI":"10.1016\/S0304-3975(01)00234-1","volume":"286","author":"W. Vogler","year":"2002","unstructured":"Vogler, W.: Partial order semantics and read arcs. Theor. Comput. Sci.\u00a0286(1), 33\u201363 (2002)","journal-title":"Theor. Comput. Sci."},{"key":"20_CR95","unstructured":"V\u00f6lzer, H.: Fairne\u00df, Randomisierung und Konspiration in verteilten Algorithmen. PhD thesis, Humboldt-Universit\u00e4t zu Berlin, Mathematisch-Naturwissenschaftliche Fakult\u00e4t II (2000)"},{"key":"20_CR96","doi-asserted-by":"crossref","unstructured":"Wood, S., Mathewson, J., Joy, J., Stehr, M.-O., Kim, M., Gehani, A., Gerla, M., Sadjadpour, H., Garcia-Luna-Aceves, J.: ICEMAN: A system for efficient, robust and secure situational awareness at the network edge. In: Proceedings of IEEE Military Communications Conference (2013)","DOI":"10.1109\/MILCOM.2013.255"},{"issue":"10","key":"20_CR97","doi-asserted-by":"publisher","first-page":"1219","DOI":"10.1002\/wcm.518","volume":"7","author":"Z. Zhang","year":"2007","unstructured":"Zhang, Z., Zhang, Q.: Delay-\/disruption tolerant mobile ad hoc networks: latest developments: Research articles. Wirel. Commun. Mob. Comput.\u00a07(10), 1219\u20131232 (2007)","journal-title":"Wirel. Commun. Mob. Comput."},{"key":"20_CR98","doi-asserted-by":"publisher","first-page":"308","DOI":"10.1109\/FTDCS.2003.1204352","volume-title":"FTDCS 2003: Proceedings of the The Ninth IEEE Workshop on Future Trends of Distributed Computing Systems","author":"W. Zhao","year":"2003","unstructured":"Zhao, W., Ammar, M.H.: Message ferrying: Proactive routing in highly-partitioned wireless ad hoc networks. In: FTDCS 2003: Proceedings of the The Ninth IEEE Workshop on Future Trends of Distributed Computing Systems, p. 308. IEEE Computer Society, Washington, DC (2003)"},{"key":"20_CR99","doi-asserted-by":"crossref","unstructured":"Zhao, W., Chen, Y., Ammar, M., Corner, M., Levine, B., Zegura, E.: Capacity enhancement using throwboxes in dtns. In: Proc. IEEE Intl Conf on Mobile Ad hoc and Sensor Systems (MASS), pp. 31\u201340 (2006)","DOI":"10.1109\/MOBHOC.2006.278570"}],"container-title":["Lecture Notes in Computer Science","Specification, Algebra, and Software"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-54624-2_20","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,1]],"date-time":"2025-05-01T23:31:48Z","timestamp":1746142308000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-54624-2_20"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783642546235","9783642546242"],"references-count":99,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-54624-2_20","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2014]]}}}