{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,8]],"date-time":"2024-09-08T10:49:01Z","timestamp":1725792541798},"publisher-location":"Cham","reference-count":15,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319061993"},{"type":"electronic","value":"9783319062006"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-06200-6_3","type":"book-chapter","created":{"date-parts":[[2014,4,23]],"date-time":"2014-04-23T05:53:48Z","timestamp":1398232428000},"page":"31-45","source":"Crossref","is-referenced-by-count":15,"title":["Leadership Election:\u00a0An Industrial SoS Application of Compositional Deadlock Verification"],"prefix":"10.1007","author":[{"given":"Pedro R. G.","family":"Antonino","sequence":"first","affiliation":[]},{"given":"Marcel Medeiros","family":"Oliveira","sequence":"additional","affiliation":[]},{"given":"Augusto C. A.","family":"Sampaio","sequence":"additional","affiliation":[]},{"given":"Klaus E.","family":"Kristensen","sequence":"additional","affiliation":[]},{"given":"Jeremy W.","family":"Bryans","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"3_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1007\/BFb0053581","volume-title":"Fundamental Approaches to Software Engineering","author":"R. Allen","year":"1998","unstructured":"Allen, R., Douence, R., Garlan, D.: Specifying and analyzing dynamic software architectures. In: Astesiano, E. (ed.) ETAPS 1998 and FASE 1998. LNCS, vol.\u00a01382, pp. 21\u201337. Springer, Heidelberg (1998)"},{"key":"3_CR2","doi-asserted-by":"crossref","unstructured":"Antonino, P.R.G., Oliveira, M.V.M., Sampaio, A.C.A., Kristensen, K.E., Bryans, J.W.: Leadership Election: An Industrial SoS Application of Compositional Deadlock Verification \u2014 Extended version. Technical report, UFPE (2013), \n \n http:\/\/www.cin.ufpe.br\/~prga2\/tech\/techNFM2014.html","DOI":"10.1007\/978-3-319-06200-6_3"},{"issue":"4","key":"3_CR3","doi-asserted-by":"publisher","first-page":"386","DOI":"10.1145\/606612.606614","volume":"11","author":"M. Bernardo","year":"2002","unstructured":"Bernardo, M., Ciancarini, P., Donatiello, L.: Architecting families of software systems with process algebras. ACM Transactions on Software Engineering and Methodology\u00a011(4), 386\u2013426 (2002)","journal-title":"ACM Transactions on Software Engineering and Methodology"},{"issue":"4","key":"3_CR4","doi-asserted-by":"publisher","first-page":"287","DOI":"10.1007\/s10617-009-9046-2","volume":"13","author":"E. Cheung","year":"2009","unstructured":"Cheung, E., Chen, X., Hsieh, H., Davare, A., Sangiovanni-Vincentelli, A., Watanabe, Y.: Runtime deadlock analysis for system level design. Design Automation for Embedded Systems\u00a013(4), 287\u2013310 (2009)","journal-title":"Design Automation for Embedded Systems"},{"issue":"4","key":"3_CR5","doi-asserted-by":"publisher","first-page":"334","DOI":"10.1145\/235321.235323","volume":"5","author":"S. Cheung","year":"1996","unstructured":"Cheung, S., Kramer, J.: Context constraints for compositional reachability analysis. ACM Transactions on Software Engineering and Methodology\u00a05(4), 334\u2013377 (1996)","journal-title":"ACM Transactions on Software Engineering and Methodology"},{"key":"3_CR6","unstructured":"Formal Systems Ltd. FDR: User Manual and Tutorial, version 2.82 (2005)"},{"issue":"1","key":"3_CR7","doi-asserted-by":"publisher","first-page":"48","DOI":"10.1109\/TC.1982.1675885","volume":"C-31","author":"H. Garcia-Molina","year":"1982","unstructured":"Garcia-Molina, H.: Elections in a distributed computing system. IEEE Transactions on Computers\u00a0C-31(1), 48\u201359 (1982)","journal-title":"IEEE Transactions on Computers"},{"key":"3_CR8","doi-asserted-by":"publisher","first-page":"173","DOI":"10.1016\/j.entcs.2006.05.022","volume":"160","author":"J. He","year":"2006","unstructured":"He, J., Li, X., Liu, Z.: A theory of reactive components. Electronic Notes in Theoretical Computer Science\u00a0160, 173\u2013195 (2006)","journal-title":"Electronic Notes in Theoretical Computer Science"},{"issue":"11","key":"3_CR9","doi-asserted-by":"publisher","first-page":"1056","DOI":"10.1109\/TSE.2002.1049404","volume":"28","author":"F. Plasil","year":"2002","unstructured":"Plasil, F., Visnovsky, S.: Behavior protocols for software components. IEEE Transactions on Software Engineering\u00a028(11), 1056\u20131076 (2002)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"3_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"140","DOI":"10.1007\/978-3-642-05089-3_10","volume-title":"FM 2009: Formal Methods","author":"R. Ramos","year":"2009","unstructured":"Ramos, R., Sampaio, A., Mota, A.: Systematic development of trustworthy component systems. In: Cavalcanti, A., Dams, D.R. (eds.) FM 2009. LNCS, vol.\u00a05850, pp. 140\u2013156. Springer, Heidelberg (2009)"},{"issue":"5","key":"3_CR11","doi-asserted-by":"publisher","first-page":"350","DOI":"10.1016\/j.scico.2009.12.005","volume":"75","author":"R.T. Ramos","year":"2010","unstructured":"Ramos, R.T., Sampaio, A.C.A., Mota, A.C.: Conformance notions for the coordination of interaction components. Science of Computer Programming\u00a075(5), 350\u2013373 (2010)","journal-title":"Science of Computer Programming"},{"key":"3_CR12","unstructured":"Roscoe, A.W.: The Theory and Practice of Concurrency. Prentice-Hall Series in Computer Science. Prentice-Hall (1998)"},{"key":"3_CR13","doi-asserted-by":"crossref","unstructured":"Roscoe, A.W., Brookes, S.D.: Deadlock analysis in networks of communicating processes. Distributed Computing\u00a0(4), 209\u2013230 (1991)","DOI":"10.1007\/BF01784721"},{"issue":"3","key":"3_CR14","doi-asserted-by":"publisher","first-page":"289","DOI":"10.1016\/0890-5401(87)90004-6","volume":"75","author":"A.W. Roscoe","year":"1987","unstructured":"Roscoe, A.W., Dathi, N.: The pursuit of deadlock freedom. Information and Computation\u00a075(3), 289\u2013327 (1987)","journal-title":"Information and Computation"},{"key":"3_CR15","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-84882-258-0","volume-title":"Understanding Concurrent Systems","author":"A.W. Roscoe","year":"2010","unstructured":"Roscoe, A.W.: Understanding Concurrent Systems, 1st edn. Springer-Verlag New York, Inc., New York (2010)","edition":"1"}],"container-title":["Lecture Notes in Computer Science","NASA Formal Methods"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-06200-6_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,26]],"date-time":"2019-05-26T17:22:42Z","timestamp":1558891362000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-06200-6_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319061993","9783319062006"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-06200-6_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]}}}