{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:51:28Z","timestamp":1750308688131,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":19,"publisher":"ACM","license":[{"start":{"date-parts":[[2014,5,31]],"date-time":"2014-05-31T00:00:00Z","timestamp":1401494400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2014,5,31]]},"DOI":"10.1145\/2591062.2591077","type":"proceedings-article","created":{"date-parts":[[2014,5,20]],"date-time":"2014-05-20T13:48:00Z","timestamp":1400593680000},"page":"698-701","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Understanding the redundancy of software systems"],"prefix":"10.1145","author":[{"given":"Andrea","family":"Mattavelli","sequence":"first","affiliation":[{"name":"University of Lugano, Switzerland"}]}],"member":"320","published-online":{"date-parts":[[2014,5,31]]},"reference":[{"doi-asserted-by":"publisher","key":"e_1_3_2_1_1_1","DOI":"10.1109\/TSE.1985.231893"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_2_1","DOI":"10.5555\/2486788.2486891"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_3_1","DOI":"10.1145\/1882291.1882327"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_4_1","DOI":"10.1145\/192218.192221"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_5_1","DOI":"10.1145\/1368088.1368132"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_6_1","DOI":"10.1007\/11663812_4"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_7_1","DOI":"10.5555\/951952.952370"},{"key":"e_1_3_2_1_8_1","first-page":"309","volume-title":"On observing non determinism and concurrency","author":"Hennessy M.","unstructured":"M. Hennessy and R. Milner . On observing non determinism and concurrency . In J. de Bakker and J. van Leeuwen, editors, Automata, Languages and Programming , volume 85 , pages 299\u2013 309 . Springer, 1980. M. Hennessy and R. Milner. On observing non determinism and concurrency. In J. de Bakker and J. van Leeuwen, editors, Automata, Languages and Programming, volume 85, pages 299\u2013309. Springer, 1980."},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_9_1","DOI":"10.1109\/ICSE.2007.30"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_10_1","DOI":"10.1145\/1572272.1572283"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_11_1","DOI":"10.1109\/TSE.2002.1019480"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_12_1","DOI":"10.1109\/2.56851"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_13_1","DOI":"10.1002\/smr.579"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_14_1","DOI":"10.1145\/390016.808467"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_15_1","DOI":"10.1109\/ASE.2003.1240292"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_16_1","DOI":"10.1109\/SAINT.2008.12"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_17_1","DOI":"10.1109\/IDEAS.2006.45"},{"key":"e_1_3_2_1_18_1","volume-title":"Dagstuhl Seminar Proceedings","author":"Walenstein A.","year":"2007","unstructured":"A. Walenstein , M. El-Ramly , J. R. Cordy , W. S. Evans , K. Mahdavi , M. Pizka , G. Ramalingam , and J. W. von Gudenberg . Similarity in programs . In Dagstuhl Seminar Proceedings , 2007 . A. Walenstein, M. El-Ramly, J. R. Cordy, W. S. Evans, K. Mahdavi, M. Pizka, G. Ramalingam, and J. W. von Gudenberg. Similarity in programs. In Dagstuhl Seminar Proceedings, 2007."},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_19_1","DOI":"10.1093\/comjnl\/25.4.465"}],"event":{"sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering","TCSE IEEE Computer Society's Tech. Council on Software Engin."],"acronym":"ICSE '14","name":"ICSE '14: 36th International Conference on Software Engineering","location":"Hyderabad India"},"container-title":["Companion Proceedings of the 36th International Conference on Software Engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2591062.2591077","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2591062.2591077","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T20:01:13Z","timestamp":1750276873000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2591062.2591077"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,5,31]]},"references-count":19,"alternative-id":["10.1145\/2591062.2591077","10.1145\/2591062"],"URL":"https:\/\/doi.org\/10.1145\/2591062.2591077","relation":{},"subject":[],"published":{"date-parts":[[2014,5,31]]},"assertion":[{"value":"2014-05-31","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}