{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T16:12:19Z","timestamp":1725466339686},"publisher-location":"Berlin, Heidelberg","reference-count":29,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642308284"},{"type":"electronic","value":"9783642308291"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-30829-1_14","type":"book-chapter","created":{"date-parts":[[2012,6,8]],"date-time":"2012-06-08T12:19:10Z","timestamp":1339157950000},"page":"196-211","source":"Crossref","is-referenced-by-count":3,"title":["Node Coordination in Peer-to-Peer Networks"],"prefix":"10.1007","author":[{"given":"Luigia","family":"Petre","sequence":"first","affiliation":[]},{"given":"Petter","family":"Sandvik","sequence":"additional","affiliation":[]},{"given":"Kaisa","family":"Sere","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"14_CR1","doi-asserted-by":"crossref","unstructured":"Abrial, J.R.: The B-Book: Assigning Programs to Meanings. Cambridge University Press (1996)","DOI":"10.1017\/CBO9780511624162"},{"key":"14_CR2","doi-asserted-by":"crossref","unstructured":"Abrial, J.R.: Modeling in Event-B: System and Software Engineering. Cambridge University Press (2010)","DOI":"10.1017\/CBO9781139195881"},{"issue":"6","key":"14_CR3","doi-asserted-by":"crossref","first-page":"447","DOI":"10.1007\/s10009-010-0145-y","volume":"12","author":"J.R. Abrial","year":"2010","unstructured":"Abrial, J.R., Butler, M., Hallerstede, S., Hoang, T.S., Mehta, F., Voisin, L.: Rodin: An Open Toolset for Modelling and Reasoning in Event-B. International Journal on Software Tools for Technology Transfer (STTT)\u00a012(6), 447\u2013466 (2010)","journal-title":"International Journal on Software Tools for Technology Transfer (STTT)"},{"key":"14_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"588","DOI":"10.1007\/11901433_32","volume-title":"Formal Methods and Software Engineering","author":"J.R. Abrial","year":"2006","unstructured":"Abrial, J.R., Butler, M., Hallerstede, S., Voisin, L.: An Open Extensible Tool Environment for Event-B. In: Liu, Z., Kleinberg, R.D. (eds.) ICFEM 2006. LNCS, vol.\u00a04260, pp. 588\u2013605. Springer, Heidelberg (2006)"},{"key":"14_CR5","doi-asserted-by":"crossref","unstructured":"Back, R., Kurki-Suonio, R.: Decentralization of Process Nets with Centralized Control. In: Proceedings of the 2nd ACM SIGACT-SIGOPS Symposium on Principles of Distributed Computing, pp. 131\u2013142 (1983)","DOI":"10.1145\/800221.806716"},{"key":"14_CR6","unstructured":"Belkin Play N600 HD Wireless Dual-Band N+ Router F7D8301, \n                  \n                    http:\/\/www.belkin.com\/IWCatProductPage.process?Product_Id=522112\n                  \n                  \n                 (accessed April 2012)"},{"key":"14_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"145","DOI":"10.1007\/3-540-57502-2_45","volume-title":"Languages and Compilers for Parallel Computing","author":"N. Carriero","year":"1993","unstructured":"Carriero, N., Gelernter, D.: Data Parallelism and Linda. In: Banerjee, U., Gelernter, D., Nicolau, A., Padua, D.A. (eds.) LCPC 1992. LNCS, vol.\u00a0757, pp. 145\u2013159. Springer, Heidelberg (1993)"},{"key":"14_CR8","unstructured":"Cohen, B.: Incentives Build Robustness in BitTorrent. In: 1st Workshop on Economics of Peer-to-Peer Systems (June 2003)"},{"key":"14_CR9","unstructured":"Cohen, B.: The BitTorrent Protocol Specification (January 2008), \n                  \n                    http:\/\/www.bittorrent.org\/beps\/bep_0003.html\n                  \n                  \n                 (accessed April 2012)"},{"key":"14_CR10","doi-asserted-by":"crossref","unstructured":"D\u2019Acunto, L., Meulpolder, M., Rahman, R., Pouwelse, J., Sips, H.: Modeling and Analyzing the Effects of Firewalls and NATs in P2P Swarming Systems. In: IEEE International Symposium on Parallel & Distributed Processing, Workshops and PhD Forum, IPDPSW (2010)","DOI":"10.1109\/IPDPSW.2010.5470937"},{"key":"14_CR11","unstructured":"Event-B and the Rodin Platform, \n                  \n                    http:\/\/www.event-b.org\/\n                  \n                  \n                 (accessed April 2012)"},{"key":"14_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"420","DOI":"10.1007\/978-3-642-24559-6_29","volume-title":"Formal Methods and Software Engineering","author":"A. Iliasov","year":"2011","unstructured":"Iliasov, A., Laibinis, L., Troubitsyna, E., Romanovsky, A.: Formal Derivation of a Distributed Program in Event B. In: Qin, S., Qiu, Z. (eds.) ICFEM 2011. LNCS, vol.\u00a06991, pp. 420\u2013436. Springer, Heidelberg (2011)"},{"key":"14_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"174","DOI":"10.1007\/978-3-642-11811-1_14","volume-title":"Abstract State Machines, Alloy, B and Z","author":"A. Iliasov","year":"2010","unstructured":"Iliasov, A., Troubitsyna, E., Laibinis, L., Romanovsky, A., Varpaaniemi, K., Ilic, D., Latvala, T.: Supporting Reuse in Event B Development: Modularisation Approach. In: Frappier, M., Gl\u00e4sser, U., Khurshid, S., Laleau, R., Reeves, S. (eds.) ABZ 2010. LNCS, vol.\u00a05977, pp. 174\u2013188. Springer, Heidelberg (2010)"},{"key":"14_CR14","unstructured":"Iliofotou, M., Siganos, G., Yang, X., Rodriguez, P.: Comparing BitTorrent Clients in the Wild: The Case of Download Speed. In: Freedman, M.J., Krishnamurthy, A. (eds.) Proceedings of the 9th International Workshop on Peer-to-Peer Systems, IPTPS 2010. USENIX (April 2010)"},{"key":"14_CR15","doi-asserted-by":"crossref","unstructured":"Kamali, M., Laibinis, L., Petre, L., Sere, K.: Self-Recovering Sensor-Actor Networks. In: Mousavi, M., Salan, G. (eds.) Proceedings of the Ninth International Workshop on the Foundations of Coordination Languages and Software Architectures, FOCLASA 2010, vol.\u00a030, pp. 47\u201361. EPTCS (2010)","DOI":"10.4204\/EPTCS.30.4"},{"key":"14_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"92","DOI":"10.1007\/978-3-642-13414-2_7","volume-title":"Coordination Models and Languages","author":"S. Kemper","year":"2010","unstructured":"Kemper, S.: Compositional Construction of Real-Time Dataflow Networks. In: Clarke, D., Agha, G. (eds.) COORDINATION 2010. LNCS, vol.\u00a06116, pp. 92\u2013106. Springer, Heidelberg (2010)"},{"key":"14_CR17","unstructured":"Loewenstern, A.: DHT Protocol (2008), \n                  \n                    http:\/\/www.bittorrent.org\/beps\/bep_0005.html\n                  \n                  \n                 (accessed April 2012)"},{"key":"14_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"76","DOI":"10.1007\/978-3-642-13414-2_6","volume-title":"Coordination Models and Languages","author":"A. Lombide Carreton","year":"2010","unstructured":"Lombide Carreton, A., D\u2019Hondt, T.: A Hybrid Visual Dataflow Language for Coordination in Mobile Ad Hoc Networks. In: Clarke, D., Agha, G. (eds.) COORDINATION 2010. LNCS, vol.\u00a06116, pp. 76\u201391. Springer, Heidelberg (2010)"},{"key":"14_CR19","unstructured":"Lumme, K., Petre, L., Sandvik, P., Sere, K.: Towards Dependable H.264 Decoding. In: Ahmed, N., Quercia, D., Jensen, C.D. (eds.) Workshop Proceedings of the Fifth IFIP WG 11.11 International Conference on Trust Management (IFIPTM 2011), pp. 325\u2013337. Technical University of Denmark (June 2011)"},{"key":"14_CR20","unstructured":"Petre, L., Sandvik, P., Sere, K.: A Modular Approach to Formal Modelling of Peer-to-Peer Networks. Tech. Rep. 1039, Turku Centre for Computer Science (TUCS) (2012)"},{"key":"14_CR21","unstructured":"RODIN Modularisation Plug-in, \n                  \n                    http:\/\/wiki.event-b.org\/index.php\/Modularisation_Plug-in\n                  \n                  \n                 (accessed April 2012)"},{"key":"14_CR22","doi-asserted-by":"crossref","unstructured":"Sandvik, P., Neovius, M.: The Distance-Availability Weighted Piece Selection Method for BitTorrent: A BitTorrent Piece Selection Method for On-Demand Streaming. In: Liotta, A., Antonopoulos, N., Exarchakos, G., Hara, T. (eds.) Proceedings of The First International Conference on Advances in P2P Systems, AP2PS 2009, pp. 198\u2013202. IEEE Computer Society (October 2009)","DOI":"10.1109\/AP2PS.2009.39"},{"key":"14_CR23","unstructured":"Sandvik, P., Sere, K.: Formal Analysis and Verification of Peer-to-Peer Node Behaviour. In: Liotta, A., Antonopoulos, N., Di Fatta, G., Hara, T., Vu, Q.H. (eds.) The Third International Conference on Advances in P2P Systems, AP2PS 2011, pp. 47\u201352. IARIA (November 2011)"},{"key":"14_CR24","unstructured":"Schulze, H., Mochalski, K.: Ipoque Internet Study (2008\/2009), \n                  \n                    http:\/\/www.ipoque.com\/en\/resources\/internet-studies\n                  \n                  \n                 (accessed April 2012)"},{"key":"14_CR25","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"157","DOI":"10.1007\/978-3-642-21464-6_11","volume-title":"Coordination Models and Languages","author":"P. Tarau","year":"2011","unstructured":"Tarau, P.: Coordination and Concurrency in Multi-Engine Prolog. In: De Meuter, W., Roman, G.-C. (eds.) COORDINATION 2011. LNCS, vol.\u00a06721, pp. 157\u2013171. Springer, Heidelberg (2011)"},{"key":"14_CR26","unstructured":"Vestel to Launch the First Bittorrent Certified Smart TV, \n                  \n                    http:\/\/www.bittorrent.com\/company\/about\/vestel_to_launch_the_first_bittorrent_certified_smart_tv\n                  \n                  \n                 (accessed April 2012)"},{"key":"14_CR27","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1023\/A:1008688421367","volume":"13","author":"M. Wald\u00e9n","year":"1998","unstructured":"Wald\u00e9n, M., Sere, K.: Reasoning About Action Systems Using the B-Method. Formal Methods in Systems Design\u00a013, 5\u201335 (1998)","journal-title":"Formal Methods in Systems Design"},{"key":"14_CR28","doi-asserted-by":"publisher","first-page":"1295","DOI":"10.1007\/978-0-387-09751-0_47","volume-title":"Handbook of Peer-to-Peer Networking, Part 12","author":"L. Yan","year":"2010","unstructured":"Yan, L.: A Formal Architectural Model for Peer-to-Peer Systems. In: Shen, X., Yu, H., Buford, J., Akon, M. (eds.) Handbook of Peer-to-Peer Networking, Part 12, pp. 1295\u20131314. Springer, US (2010)"},{"key":"14_CR29","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"619","DOI":"10.1007\/978-3-540-24685-5_104","volume-title":"Computational Science - ICCS 2004","author":"L. Yan","year":"2004","unstructured":"Yan, L., Ni, J.: Building a Formal Framework for Mobile Ad Hoc Computing. In: Bubak, M., van Albada, G.D., Sloot, P.M.A., Dongarra, J. (eds.) ICCS 2004, Part I. LNCS, vol.\u00a03036, pp. 619\u2013622. Springer, Heidelberg (2004)"}],"container-title":["Lecture Notes in Computer Science","Coordination Models and Languages"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-30829-1_14.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,4]],"date-time":"2021-05-04T11:31:21Z","timestamp":1620127881000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-30829-1_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642308284","9783642308291"],"references-count":29,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-30829-1_14","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}