{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T01:39:36Z","timestamp":1725586776625},"publisher-location":"Berlin, Heidelberg","reference-count":28,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642214363"},{"type":"electronic","value":"9783642214370"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"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":[[2011]]},"DOI":"10.1007\/978-3-642-21437-0_26","type":"book-chapter","created":{"date-parts":[[2011,6,18]],"date-time":"2011-06-18T07:33:16Z","timestamp":1308382396000},"page":"338-352","source":"Crossref","is-referenced-by-count":3,"title":["Refinement-Based Verification of Local Synchronization Algorithms"],"prefix":"10.1007","author":[{"given":"Dominique","family":"M\u00e9ry","sequence":"first","affiliation":[]},{"given":"Mohamed","family":"Mosbah","sequence":"additional","affiliation":[]},{"given":"Mohamed","family":"Tounsi","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"26_CR1","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511624162","volume-title":"The B-book: assigning programs to meanings","author":"J.R. Abrial","year":"1996","unstructured":"Abrial, J.R.: The B-book: assigning programs to meanings. Cambridge University Press, New York (1996)"},{"key":"26_CR2","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9781139195881","volume-title":"Modeling in Event-B: System and Software Engineering","author":"J.R. Abrial","year":"2010","unstructured":"Abrial, J.R.: Modeling in Event-B: System and Software Engineering. Cambridge University Press, Cambridge (2010)"},{"key":"26_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"457","DOI":"10.1007\/3-540-44880-2_27","volume-title":"ZB 2003: Formal Specification and Development in Z and B","author":"J.R. Abrial","year":"2003","unstructured":"Abrial, J.R., Cansell, D., M\u00e9ry, D.: Formal derivation of spanning trees algorithms. In: Bert, D., Bowen, J., King, S. (eds.) ZB 2003. LNCS, vol.\u00a02651, pp. 457\u2013476. Springer, Heidelberg (2003)"},{"key":"26_CR4","doi-asserted-by":"publisher","first-page":"82","DOI":"10.1145\/800141.804655","volume-title":"Proceedings of the Twelfth Annual ACM Symposium on Theory of Computing, STOC 1980","author":"D. Angluin","year":"1980","unstructured":"Angluin, D.: Local and global properties in networks of processors (extended abstract). In: Proceedings of the Twelfth Annual ACM Symposium on Theory of Computing, STOC 1980, pp. 82\u201393. ACM, New York (1980), \n                    \n                      http:\/\/doi.acm.org\/10.1145\/800141.804655\n                    \n                    \n                  , doi:10.1145\/800141.804655"},{"issue":"1","key":"26_CR5","doi-asserted-by":"publisher","first-page":"49","DOI":"10.1016\/0022-0000(81)90005-2","volume":"23","author":"R. Back","year":"1979","unstructured":"Back, R.: On correct refinement of programs. Journal of Computer and System Sciences\u00a023(1), 49\u201368 (1979)","journal-title":"Journal of Computer and System Sciences"},{"key":"26_CR6","unstructured":"Bauderon, M., M\u00e9tivier, Y., Mosbah, M., Sellami, A.: From local computations to asynchronous message passing systems. Tech. Rep. RR-1271-02, LaBRI (2002)"},{"issue":"3","key":"26_CR7","first-page":"13","volume":"72","author":"M. Bauderon","year":"2003","unstructured":"Bauderon, M., Mosbah, M.: A unified framework for designing, implementing and visualizing distributed algorithms. Graph Transformation and Visual Modeling Techniques (First International Conference on Graph Transformation)\u00a072(3), 13\u201324 (2003)","journal-title":"Graph Transformation and Visual Modeling Techniques (First International Conference on Graph Transformation)"},{"key":"26_CR8","series-title":"EATCS Textbook in Computer Science","volume-title":"Logics of Specification Languages","year":"2007","unstructured":"Bj\u00f8rner, D., Henson, M.C. (eds.): Logics of Specification Languages. EATCS Textbook in Computer Science. Springer, Heidelberg (2007)"},{"key":"26_CR9","first-page":"33","volume-title":"The Event-B Modelling Method: Concepts and Case Studies","author":"D. Cansell","year":"2007","unstructured":"Cansell, D., M\u00e9ry, D.: The Event-B Modelling Method: Concepts and Case Studies, pp. 33\u2013140. Springer, Heidelberg (2007); see [8]"},{"key":"26_CR10","volume-title":"A Discipline of Programming","author":"E.W. Dijkstra","year":"1976","unstructured":"Dijkstra, E.W.: A Discipline of Programming. Prentice-Hall, Englewood Cliffs (1976)"},{"key":"26_CR11","unstructured":"ElHibaoui, A., M\u00e9tivier, Y., Robson, J.M., Saheb-Djahromi, N., Zemmari, A.: Analysis of a randomized dynamic timetable handshake algorithm. Pure Mathematics and Applications (PuMA) (0)"},{"key":"26_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"293","DOI":"10.1007\/978-3-540-73210-5_16","volume-title":"Integrated Formal Methods","author":"S. Hallerstede","year":"2007","unstructured":"Hallerstede, S., Hoang, T.S.: Qualitative probabilistic modelling in event-B. In: Davies, J., Gibbons, J. (eds.) IFM 2007. LNCS, vol.\u00a04591, pp. 293\u2013312. Springer, Heidelberg (2007), \n                    \n                      http:\/\/portal.acm.org\/citation.cfm?id=1770498.1770514"},{"key":"26_CR13","doi-asserted-by":"crossref","unstructured":"Hoang, T.S., Jin, Z., Robinson, K., McIver, A., Morgan, C.: Development via refinement in probabilistic B - foundation and case study. In: Treharne, et al. (eds.) [27], pp. 355\u2013373","DOI":"10.1007\/11415787_21"},{"key":"26_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-642-00255-7_1","volume-title":"Integrated Formal Methods","author":"T.S. Hoang","year":"2009","unstructured":"Hoang, T.S., Kuruma, H., Basin, D., Abrial, J.-R.: Developing topology discovery in event-B. In: Leuschel, M., Wehrheim, H. (eds.) IFM 2009. LNCS, vol.\u00a05423, pp. 1\u201319. Springer, Heidelberg (2009)"},{"key":"26_CR15","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1142\/9789812814951_0001","volume-title":"Handbook of Graph Grammars and Computing by Graph Transformation","author":"I. Litovsky","year":"1999","unstructured":"Litovsky, I., M\u00e9tivier, Y., Sopena, E.: Graph relabelling systems and distributed algorithms. In: Ehrig, H., Kreowski, H., Montanari, U., Rozenberg, G. (eds.) Handbook of Graph Grammars and Computing by Graph Transformation, vol.\u00a03, pp. 1\u201356. World Scientific, Singapore (1999)"},{"key":"26_CR16","doi-asserted-by":"publisher","first-page":"41","DOI":"10.1007\/BF01294595","volume":"28","author":"I. Litovsky","year":"1995","unstructured":"Litovsky, I., M\u00e9tivier, Y., Sopena, \u00c9.: Different local controls for graph relabelling systems. Mathematical System Theory\u00a028, 41\u201365 (1995), \n                    \n                      http:\/\/www3.labri.fr\/publications\/combalgo\/1995\/LMS95","journal-title":"Mathematical System Theory"},{"key":"26_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"216","DOI":"10.1007\/3-540-44880-2_15","volume-title":"ZB 2003: Formal Specification and Development in Z and B","author":"A.K. McIver","year":"2003","unstructured":"McIver, A.K., Morgan, C., Hoang, T.S.: Probabilistic termination in B. In: Bert, D., Bowen, J., King, S. (eds.) ZB 2003. LNCS, vol.\u00a02651, pp. 216\u2013239. Springer, Heidelberg (2003)"},{"issue":"2","key":"26_CR18","doi-asserted-by":"publisher","first-page":"51","DOI":"10.1145\/1595453.1595462","volume":"41","author":"D. M\u00e9ry","year":"2009","unstructured":"M\u00e9ry, D.: A simple refinement-based method for constructing algorithms. SIGCSE Bull.\u00a041(2), 51\u201359 (2009)","journal-title":"SIGCSE Bull."},{"key":"26_CR19","doi-asserted-by":"crossref","unstructured":"M\u00e9tivier, Y., Mosbah, M., Ossamy, R., Sellami, A.: Synchronizers for local computations. In: ICGT, pp. 271\u2013286 (2004)","DOI":"10.1007\/978-3-540-30203-2_20"},{"issue":"11","key":"26_CR20","doi-asserted-by":"publisher","first-page":"1296","DOI":"10.1016\/j.ic.2010.07.001","volume":"208","author":"Y. M\u00e9tivier","year":"2010","unstructured":"M\u00e9tivier, Y., Robson, J.M., Saheb-Djahromi, N., Zemmari, A.: About randomised distributed graph colouring and graph partition algorithms. Inf. Comput.\u00a0208(11), 1296\u20131304 (2010)","journal-title":"Inf. Comput."},{"key":"26_CR21","doi-asserted-by":"crossref","unstructured":"Morgan, C., Hoang, T.S., Abrial, J.R.: The challenge of probabilistic Event-B - extended abstract. In: Treharne, et al. (eds.) [27], pp. 162\u2013171","DOI":"10.1007\/11415787_10"},{"key":"26_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"323","DOI":"10.1007\/978-3-642-11476-2_25","volume-title":"Structural Information and Communication Complexity","author":"M. Yves","year":"2010","unstructured":"Yves, M., Robson, J.M., Nasser, S.-D., Zemmari, A.: An optimal bit complexity randomized distributed MIS algorithm. In: Kutten, S., \u017derovnik, J. (eds.) SIROCCO 2009. LNCS, vol.\u00a05869, pp. 323\u2013337. Springer, Heidelberg (2010)"},{"key":"26_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"384","DOI":"10.1007\/978-3-540-24611-4_11","volume-title":"Validation of Stochastic Systems","author":"G. Norman","year":"2004","unstructured":"Norman, G.: Analysing randomized distributed algorithms. In: Baier, C., Haverkort, B.R., Hermanns, H., Katoen, J.-P., Siegle, M. (eds.) Validation of Stochastic Systems. LNCS, vol.\u00a02925, pp. 384\u2013418. Springer, Heidelberg (2004)"},{"key":"26_CR24","unstructured":"Project RODIN: Rigorous open development environment for complex systems (2004\u20132007), \n                    \n                      http:\/\/rodin-b-sharp.sourceforge.net\/"},{"key":"26_CR25","doi-asserted-by":"publisher","first-page":"84","DOI":"10.1145\/800220.806685","volume-title":"PODC 1982: Proceedings of the first ACM SIGACT-SIGOPS symposium on Principles of distributed computing","author":"J. Reif","year":"1982","unstructured":"Reif, J., Spirakis, P.: Real time resource allocation in distributed systems. In: PODC 1982: Proceedings of the first ACM SIGACT-SIGOPS symposium on Principles of distributed computing, pp. 84\u201394. ACM, New York (1982)"},{"key":"26_CR26","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"275","DOI":"10.1007\/978-3-642-16265-7_20","volume-title":"Integrated Formal Methods","author":"A. Tarasyuk","year":"2010","unstructured":"Tarasyuk, A., Troubitsyna, E., Laibinis, L.: Towards probabilistic modelling in event-B. In: M\u00e9ry, D., Merz, S. (eds.) IFM 2010. LNCS, vol.\u00a06396, pp. 275\u2013289. Springer, Heidelberg (2010)"},{"key":"26_CR27","series-title":"Lecture Notes in Computer Science","first-page":"13","volume-title":"ZB 2005: Formal Specification and Development in Z and B","year":"2005","unstructured":"Treharne, H., King, S., Henson, M.C., Schneider, S.A. (eds.): ZB 2005. LNCS, vol.\u00a03455, pp. 13\u201315. Springer, Heidelberg (2005)"},{"key":"26_CR28","unstructured":"ViSiDiA (2006), \n                    \n                      http:\/\/visidia.labri.fr"}],"container-title":["Lecture Notes in Computer Science","FM 2011: Formal Methods"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-21437-0_26","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,29]],"date-time":"2019-03-29T01:53:33Z","timestamp":1553824413000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-21437-0_26"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642214363","9783642214370"],"references-count":28,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-21437-0_26","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}