{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,6]],"date-time":"2025-11-06T19:53:29Z","timestamp":1762458809885},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540251095"},{"type":"electronic","value":"9783540318484"}],"license":[{"start":{"date-parts":[[2005,1,1]],"date-time":"2005-01-01T00:00:00Z","timestamp":1104537600000},"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":[[2005]]},"DOI":"10.1007\/978-3-540-31848-4_10","type":"book-chapter","created":{"date-parts":[[2010,7,5]],"date-time":"2010-07-05T19:24:53Z","timestamp":1278357893000},"page":"140-154","source":"Crossref","is-referenced-by-count":12,"title":["Semi-formal Development of a Fault-Tolerant Leader Election Protocol in Erlang"],"prefix":"10.1007","author":[{"given":"Thomas","family":"Arts","sequence":"first","affiliation":[]},{"given":"Koen","family":"Claessen","sequence":"additional","affiliation":[]},{"given":"Hans","family":"Svensson","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"10_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"108","DOI":"10.1007\/3-540-45414-4_8","volume-title":"Distributed Computing","author":"M.K. Aguilera","year":"2001","unstructured":"Aguilera, M.K., Delporte-Gallet, C., Fauconnier, H.: Stable leader election. In: Welch, J.L. (ed.) DISC 2001. LNCS, vol.\u00a02180, p. 108. Springer, Heidelberg (2001)"},{"key":"10_CR2","volume-title":"Concurrent Programming in Erlang","author":"J. Armstrong","year":"1996","unstructured":"Armstrong, J., Williams, M., Wikstrom, C., Virding, R.: Concurrent Programming in Erlang, 2nd edn. Prentice-Hall, Englewood Cliffs (1996)","edition":"2"},{"key":"10_CR3","doi-asserted-by":"crossref","unstructured":"Arts, T., Benac Earle, C., Derrick, J.: Development of a verified Erlang program for resource locking. Int. J. on Software Tools for Technology Transfer (2004) (to appear)","DOI":"10.1007\/s10009-003-0114-9"},{"key":"10_CR4","volume-title":"Fourth International Conference on Application of Concurrency to System Design","author":"T. Arts","year":"2004","unstructured":"Arts, T., Benac Earle, C., S\u00e1nchez Penas, J.J.: Translating Erlang to mCRL. In: Fourth International Conference on Application of Concurrency to System Design, Hamilton (Ontario), Canada, June 2004. IEEE computer society, Los Alamitos (2004)"},{"key":"10_CR5","doi-asserted-by":"publisher","first-page":"16","DOI":"10.1145\/592849.592852","volume-title":"Proceedings of the 2002 ACM SIGPLAN workshop on Erlang","author":"T. Arts","year":"2002","unstructured":"Arts, T., Fredlund, L.-\u00c5.: Trace analysis of Erlang programs. In: Proceedings of the 2002 ACM SIGPLAN workshop on Erlang, pp. 16\u201323. ACM Press, New York (2002)"},{"key":"10_CR6","volume-title":"Proceedings of the 2nd International Conference on Temporal Logic","author":"N. Bj\u00f8rner","year":"1997","unstructured":"Bj\u00f8rner, N., Lerner, U., Manna, Z.: Deductive verification of parameterized fault-tolerant systems: A case study. In: Proceedings of the 2nd International Conference on Temporal Logic. Kluwer, Dordrecht (1997)"},{"key":"10_CR7","first-page":"10","volume":"1","author":"S. Blau","year":"1998","unstructured":"Blau, S., Rooth, J.: AXD 301 - A new generation ATM switching system. Ericsson Review\u00a01, 10\u201317 (1998)","journal-title":"Ericsson Review"},{"key":"10_CR8","first-page":"63","volume":"VIII","author":"E. Brinksma","year":"1988","unstructured":"Brinksma, E.: A theory for the derivation of tests. Protocol Specification, Testing and Verification\u00a0VIII, 63\u201374 (1988)","journal-title":"Protocol Specification, Testing and Verification"},{"issue":"4","key":"10_CR9","doi-asserted-by":"publisher","first-page":"157","DOI":"10.1007\/s004460050017","volume":"9","author":"J.J. Brunekreef","year":"1996","unstructured":"Brunekreef, J.J., Mauw, S., Katoen, J.-P., Koymans, R.: Design and analysis of dynamic leader election protocols in broadcast networks. Distributed Computing\u00a09(4), 157\u2013171 (1996)","journal-title":"Distributed Computing"},{"key":"10_CR10","volume-title":"Model Checking","author":"E.M. Clarke","year":"2000","unstructured":"Clarke, E.M., Grumberg, O., Peled, D.A.: Model Checking. The MIT Press, Cambridge (2000)"},{"issue":"2","key":"10_CR11","doi-asserted-by":"publisher","first-page":"459","DOI":"10.1016\/S0304-3975(96)00256-3","volume":"177","author":"L.-\u00c5. Fredlund","year":"1997","unstructured":"Fredlund, L.-\u00c5., Groote, J.F., Korver, H.: Formal verification of a leader elction protocol in process algebra. Theoretical Computer Science\u00a0177(2), 459\u2013486 (1997)","journal-title":"Theoretical Computer Science"},{"issue":"1-2","key":"10_CR12","doi-asserted-by":"publisher","first-page":"171","DOI":"10.1016\/S0167-6423(96)00034-2","volume":"29","author":"H. Garavel","year":"1996","unstructured":"Garavel, H., Mounier, L.: Specification and verification of various distributed leader election algorithms for unidirectional ring networks. Science of Computer Programming\u00a029(1-2), 171\u2013197 (1996)","journal-title":"Science of Computer Programming"},{"issue":"2","key":"10_CR13","doi-asserted-by":"publisher","first-page":"189","DOI":"10.1023\/B:FORM.0000017721.39909.4b","volume":"24","author":"K. Havelund","year":"2004","unstructured":"Havelund, K., Ro\u015fu, G.: An overview of the runtime verification tool Java PathExplorer. Formal Methods in System Design\u00a024(2), 189\u2013215 (2004)","journal-title":"Formal Methods in System Design"},{"issue":"2","key":"10_CR14","doi-asserted-by":"publisher","first-page":"165","DOI":"10.1023\/A:1011284000753","volume":"19","author":"J.M.T. Romijn","year":"2001","unstructured":"Romijn, J.M.T.: A timed verification of the IEEE 1394 leader election protocol. Formal Methods in System Design\u00a019(2), 165\u2013194 (2001); special issue of FMICS 1999","journal-title":"Formal Methods in System Design"},{"key":"10_CR15","first-page":"337","volume-title":"Proceedings of the 9th European software engineering conference held jointly with 10th ACM SIGSOFT international symposium on Foundations of software engineering","author":"K. Sen","year":"2003","unstructured":"Sen, K., Ro\u015fu, G., Agha, G.: Runtime safety analysis of multithreaded programs. In: Proceedings of the 9th European software engineering conference held jointly with 10th ACM SIGSOFT international symposium on Foundations of software engineering, pp. 337\u2013346. ACM Press, New York (2003)"},{"key":"10_CR16","volume-title":"IEEE Transactions on Parallel and Distributed Systems","author":"G. Singh","year":"1996","unstructured":"Singh, G.: Leader election in the presence of link failures. In: IEEE Transactions on Parallel and Distributed Systems, vol.\u00a07. IEEE computer society, Los Alamitos (1996)"},{"key":"10_CR17","unstructured":"Stoller, S.D.: Leader election in distributed systems with crash failures. Technical Report 481, Computer Science Dept., Indiana University (May 1997) (Revised July 1997)"},{"key":"10_CR18","unstructured":"Svensson, H.: Various material related to the paper, \n                    \n                      http:\/\/www.cs.chalmers.se\/~hanssv\/erlang_testing"},{"key":"10_CR19","unstructured":"Tretmans, J.: A Formal Approach to Conformance Testing. PhD thesis, University of Twente, Enschede, The Netherlands (1992)"},{"key":"10_CR20","unstructured":"Tretmans, J., Belinfante, A.: Automatic testing with formal methods. In: EuroSTAR 1999: 7th European Int. Conference on Software Testing, Analysis & Review, EuroStar Conferences, Barcelona, Spain, Galway, Ireland, November 8-12 (1999)"},{"key":"10_CR21","unstructured":"Wiger, U.: Fault tolerant leader election, \n                    \n                      http:\/\/www.erlang.org\/"}],"container-title":["Lecture Notes in Computer Science","Formal Approaches to Software Testing"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-31848-4_10","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,15]],"date-time":"2019-03-15T11:32:35Z","timestamp":1552649555000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-31848-4_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540251095","9783540318484"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-31848-4_10","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}