{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:25:06Z","timestamp":1750220706749,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":10,"publisher":"ACM","license":[{"start":{"date-parts":[[2019,6,24]],"date-time":"2019-06-24T00:00:00Z","timestamp":1561334400000},"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":[[2019,6,24]]},"DOI":"10.1145\/3328905.3329500","type":"proceedings-article","created":{"date-parts":[[2019,6,18]],"date-time":"2019-06-18T12:14:30Z","timestamp":1560860070000},"page":"151-162","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Static Termination Analysis for Event-driven Distributed Algorithms"],"prefix":"10.1145","author":[{"given":"Felix","family":"Wiemuth","sequence":"first","affiliation":[{"name":"Technische Universit\u00e4t Ilmenau, Ilmenau, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Peter","family":"Amthor","sequence":"additional","affiliation":[{"name":"Technische Universit\u00e4t Ilmenau, Ilmenau, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Winfried E.","family":"K\u00fchnhauser","sequence":"additional","affiliation":[{"name":"Technische Universit\u00e4t Ilmenau, Ilmenau, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2019,6,24]]},"reference":[{"volume-title":"An introduction to distributed algorithms","author":"Barbosa Valmir C.","key":"e_1_3_2_1_1_1","unstructured":"Valmir C. Barbosa . 1996. An introduction to distributed algorithms . MIT Press , Cambridge, Massachusetts . Valmir C. Barbosa. 1996. An introduction to distributed algorithms. MIT Press, Cambridge, Massachusetts."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/359104.359108"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/360933.360975"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.5555\/647433.723863"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.588521"},{"key":"e_1_3_2_1_6_1","volume-title":"Calculational System Design, (April","author":"Lamport Leslie","year":"1999","unstructured":"Leslie Lamport . 1999 . Specifying concurrent systems with tla+ . Calculational System Design, (April 1999), 183--247. Leslie Lamport. 1999. Specifying concurrent systems with tla+. Calculational System Design, (April 1999), 183--247."},{"key":"e_1_3_2_1_7_1","volume-title":"Distributed Algorithms","author":"Lynch Nancy A.","unstructured":"Nancy A. Lynch . 1996. Distributed Algorithms . ( 1 st edition). Morgan Kaufmann . Nancy A. Lynch. 1996. Distributed Algorithms. (1st edition). Morgan Kaufmann.","edition":"1"},{"key":"e_1_3_2_1_8_1","volume-title":"Nielson","author":"Nielson Flemming","year":"2005","unstructured":"Flemming Nielson , Chris Hankin , and Hanne R . Nielson . 2005 . Principles of program analysis. (Corrected edition). Springer , (December 2005). Flemming Nielson, Chris Hankin, and Hanne R. Nielson. 2005. Principles of program analysis. (Corrected edition). Springer, (December 2005)."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF01407862"},{"key":"e_1_3_2_1_10_1","volume-title":"Technische Universit\u00e4t Ilmenau. (December","author":"Wiemuth Felix","year":"2018","unstructured":"Felix Wiemuth . 2018. A specification language for distributed algorithms. Master's Thesis , Technische Universit\u00e4t Ilmenau. (December 2018 ). Felix Wiemuth. 2018. A specification language for distributed algorithms. Master's Thesis, Technische Universit\u00e4t Ilmenau. (December 2018)."}],"event":{"name":"DEBS '19: The 13th ACM International Conference on Distributed and Event-based Systems","sponsor":["SIGMOD ACM Special Interest Group on Management of Data","SIGSOFT ACM Special Interest Group on Software Engineering"],"location":"Darmstadt Germany","acronym":"DEBS '19"},"container-title":["Proceedings of the 13th ACM International Conference on Distributed and Event-based Systems"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3328905.3329500","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3328905.3329500","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T22:33:04Z","timestamp":1750199584000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3328905.3329500"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,6,24]]},"references-count":10,"alternative-id":["10.1145\/3328905.3329500","10.1145\/3328905"],"URL":"https:\/\/doi.org\/10.1145\/3328905.3329500","relation":{},"subject":[],"published":{"date-parts":[[2019,6,24]]},"assertion":[{"value":"2019-06-24","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}