{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T21:00:23Z","timestamp":1742936423588,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642160226"},{"type":"electronic","value":"9783642160233"}],"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":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-16023-3_4","type":"book-chapter","created":{"date-parts":[[2010,9,19]],"date-time":"2010-09-19T20:41:49Z","timestamp":1284928909000},"page":"4-18","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["Systematic Correct Construction of Self-stabilizing Systems: A Case Study"],"prefix":"10.1007","author":[{"given":"Ananda","family":"Basu","sequence":"first","affiliation":[]},{"given":"Borzoo","family":"Bonakdarpour","sequence":"additional","affiliation":[]},{"given":"Marius","family":"Bozga","sequence":"additional","affiliation":[]},{"given":"Joseph","family":"Sifakis","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2010,9,20]]},"reference":[{"key":"4_CR1","doi-asserted-by":"crossref","unstructured":"Alexander, M., Gardner, W.: Process Algebra for Parallel and Distributed Processing. Chapman & Hall\/CRC, Boca Raton (2008)","DOI":"10.1201\/9781420064872"},{"key":"4_CR2","doi-asserted-by":"publisher","first-page":"316","DOI":"10.1109\/12.312126","volume":"43","author":"A. Arora","year":"1994","unstructured":"Arora, A., Gouda, M.: Distributed reset. IEEE Transactions on Computers\u00a043, 316\u2013331 (1994)","journal-title":"IEEE Transactions on Computers"},{"key":"4_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"116","DOI":"10.1007\/978-3-540-68855-6_8","volume-title":"Formal Techniques for Networked and Distributed Systems \u2013 FORTE 2008","author":"A. Basu","year":"2008","unstructured":"Basu, A., Bidinger, P., Bozga, M., Sifakis, J.: Distributed semantics and implementation for systems with interaction and priority. In: Suzuki, K., Higashino, T., Yasumoto, K., El-Fakih, K. (eds.) FORTE 2008. LNCS, vol.\u00a05048, pp. 116\u2013133. Springer, Heidelberg (2008)"},{"key":"4_CR4","doi-asserted-by":"crossref","unstructured":"Basu, A., Bozga, M., Sifakis, J.: Modeling heterogeneous real-time components in BIP. In: Software Engineering and Formal Methods (SEFM), pp. 3\u201312 (2006)","DOI":"10.1109\/SEFM.2006.27"},{"key":"4_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"508","DOI":"10.1007\/978-3-540-85361-9_39","volume-title":"CONCUR 2008 - Concurrency Theory","author":"S. Bliudze","year":"2008","unstructured":"Bliudze, S., Sifakis, J.: A notion of glue expressiveness for component-based systems. In: van Breugel, F., Chechik, M. (eds.) CONCUR 2008. LNCS, vol.\u00a05201, pp. 508\u2013522. Springer, Heidelberg (2008)"},{"key":"4_CR6","doi-asserted-by":"crossref","unstructured":"Bonakdarpour, B., Bozga, M., Jaber, M., Quilbeuf, J., Sifakis, J.: Automated conflict-free distributed implementation of component-based models. In: IEEE Symposium on Industrial Embedded Systems, SIES (to appear 2010)","DOI":"10.1109\/SIES.2010.5551377"},{"key":"4_CR7","doi-asserted-by":"crossref","unstructured":"Bonakdarpour, B., Bozga, M., Jaber, M., Quilbeuf, J., Sifakis, J.: From high-level component-based models to distributed implementations. In: ACM International Conference on Embedded Software, EMSOFT (to appear 2010)","DOI":"10.1145\/1879021.1879049"},{"issue":"2-3","key":"4_CR8","doi-asserted-by":"publisher","first-page":"203","DOI":"10.1016\/S0167-6423(02)00133-8","volume":"47","author":"M. Bozga","year":"2003","unstructured":"Bozga, M., Fernandez, J.-C., Ghirvu, L.: State-space reduction based on live variable analysis. Journal of Science of Computer Programming\u00a047(2-3), 203\u2013220 (2003)","journal-title":"Journal of Science of Computer Programming"},{"key":"4_CR9","volume-title":"Parallel program design: a foundation","author":"K.M. Chandy","year":"1988","unstructured":"Chandy, K.M., Misra, J.: Parallel program design: a foundation. Addison-Wesley Longman Publishing Co., Inc., Boston (1988)"},{"issue":"11","key":"4_CR10","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. Communications of the ACM\u00a017(11), 643\u2013644 (1974)","journal-title":"Communications of the ACM"},{"issue":"1","key":"4_CR11","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1007\/BF01843566","volume":"1","author":"E.W. Dijkstra","year":"1986","unstructured":"Dijkstra, E.W.: A belated proof of self-stabilization. Distributed Computing\u00a01(1), 5\u20136 (1986)","journal-title":"Distributed Computing"},{"key":"4_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"158","DOI":"10.1007\/978-3-540-73368-3_18","volume-title":"Computer Aided Verification","author":"H. Garavel","year":"2007","unstructured":"Garavel, H., Lang, F., Mateescu, R., Serve, W.: CADP 2006: A Toolbox for the Construction and Analysis of Distributed Processes. In: Damm, W., Hermanns, H. (eds.) CAV 2007. LNCS, vol.\u00a04590, pp. 158\u2013163. Springer, Heidelberg (2007)"},{"key":"4_CR13","volume-title":"Distributed Algorithms","author":"N. Lynch","year":"1996","unstructured":"Lynch, N.: Distributed Algorithms. Morgan Kaufmann Publishers, San Mateo (1996)"},{"issue":"3","key":"4_CR14","doi-asserted-by":"publisher","first-page":"255","DOI":"10.1016\/S0167-6423(02)00094-1","volume":"46","author":"R. Mateescu","year":"2003","unstructured":"Mateescu, R., Sighireanu, M.: Efficient On-the-Fly Model-Checking for Regular Alternation-Free Mu-Calculus. Science of Computer Programming\u00a046(3), 255\u2013281 (2003)","journal-title":"Science of Computer Programming"},{"key":"4_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"614","DOI":"10.1007\/978-3-642-02658-4_45","volume-title":"CAV 2009","author":"T.N.S. Bensalem","year":"2009","unstructured":"Bensalem, T.N.S., Bozga, M., Sifakis, J.: D-finder: A tool for compositional deadlock detection and verification. In: Bouajjani, A., Maler, O. (eds.) CAV 2009. LNCS, vol.\u00a05643, pp. 614\u2013619. Springer, Heidelberg (2009)"},{"key":"4_CR16","doi-asserted-by":"crossref","unstructured":"Sifakis, J.: A framework for component-based construction extended abstract. In: Software Engineering and Formal Methods (SEFM), pp. 293\u2013300 (2005)","DOI":"10.1109\/SEFM.2005.3"},{"key":"4_CR17","doi-asserted-by":"crossref","unstructured":"Tauber, J.A., Lynch, N.A., Tsai, M.J.: Compiling IOA without global synchronization. In: Symposium on Network Computing and Applications (NCA), pp. 121\u2013130 (2004)","DOI":"10.1109\/NCA.2004.1347769"}],"container-title":["Lecture Notes in Computer Science","Stabilization, Safety, and Security of Distributed Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-16023-3_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,25]],"date-time":"2025-02-25T22:45:57Z","timestamp":1740523557000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-642-16023-3_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642160226","9783642160233"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-16023-3_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]},"assertion":[{"value":"20 September 2010","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}