{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T17:07:25Z","timestamp":1729616845460,"version":"3.28.0"},"reference-count":12,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/ipdps.2004.1303186","type":"proceedings-article","created":{"date-parts":[[2004,6,10]],"date-time":"2004-06-10T10:19:45Z","timestamp":1086862785000},"page":"178-185","source":"Crossref","is-referenced-by-count":0,"title":["An executable model for a family of election algorithms"],"prefix":"10.1109","author":[{"family":"Wei Shi","sequence":"first","affiliation":[]},{"given":"J.-P.","family":"Corriveau","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"3","doi-asserted-by":"publisher","DOI":"10.1109\/52.17799"},{"journal-title":"Testing Object-Oriented Systems - Models Patterns and Tools","year":"1999","author":"binder","key":"2"},{"journal-title":"Design and Analysis of Distributed Algorithms","year":"2002","author":"santoro","key":"10"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1145\/136586.136587"},{"journal-title":"Generative Programming - Methods Tools and Applications","year":"2002","author":"eisenecker","key":"7"},{"journal-title":"Oose and Book on Reuse","year":"1999","author":"jacobson","key":"6"},{"key":"5","doi-asserted-by":"crossref","first-page":"231","DOI":"10.1016\/0167-6423(87)90035-9","article-title":"Real-time uml: Developing efficient objects for embedded systems","volume":"8","author":"harel","year":"1987","journal-title":"Science of Computer Programming"},{"journal-title":"Statecharts A visual formalism for complex systems","year":"1998","author":"douglass","key":"4"},{"journal-title":"Software Construction Using Components","year":"1980","author":"neighbors","key":"9"},{"journal-title":"Distributed Systems - Towards a Formal Approach","year":"1977","author":"le lann","key":"8"},{"key":"11","article-title":"System family engineering on leader election in ring topology","author":"shi","year":"2003","journal-title":"IASTED International Conference on Parallel and Distributed Computing and Networks"},{"journal-title":"System Family Engineering on Leader Election in Ring","year":"2003","author":"shi","key":"12"}],"event":{"name":"18th International Parallel and Distributed Processing Symposium, 2004.","location":"Santa Fe, NM, USA"},"container-title":["18th International Parallel and Distributed Processing Symposium, 2004. Proceedings."],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/9132\/28950\/01303186.pdf?arnumber=1303186","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,16]],"date-time":"2017-06-16T03:57:43Z","timestamp":1497585463000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1303186\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":12,"URL":"https:\/\/doi.org\/10.1109\/ipdps.2004.1303186","relation":{},"subject":[]}}