{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:27:12Z","timestamp":1761611232832,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":33,"publisher":"ACM","license":[{"start":{"date-parts":[[2008,10,19]],"date-time":"2008-10-19T00:00:00Z","timestamp":1224374400000},"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":[[2008,10,19]]},"DOI":"10.1145\/1450058.1450085","type":"proceedings-article","created":{"date-parts":[[2008,10,22]],"date-time":"2008-10-22T12:25:44Z","timestamp":1224678344000},"page":"199-206","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":8,"title":["Compositional analysis of deadlock-freedom for tree-like component architectures"],"prefix":"10.1145","author":[{"given":"Mila","family":"Majster-Cederbaum","sequence":"first","affiliation":[{"name":"University of Mannheim, Mannheim, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Moritz","family":"Martens","sequence":"additional","affiliation":[{"name":"University of Mannheim, Mannheim, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2008,10,19]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/258077.258078"},{"key":"e_1_3_2_1_2_1","series-title":"LNCS","first-page":"339","volume-title":"Proceedings of FMCO'02","author":"Arbab F.","year":"2003","unstructured":"F. Arbab . Abstract Behavior Types: A Foundation Model for Components and Their Composition . In Proceedings of FMCO'02 , volume 2852 of LNCS , pages 339 -- 360 , 2003 . F. Arbab. Abstract Behavior Types: A Foundation Model for Components and Their Composition. In Proceedings of FMCO'02, volume 2852 of LNCS, pages 339--360, 2003."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-30579-8_30"},{"key":"e_1_3_2_1_4_1","first-page":"D2","author":"Badouel E.","year":"2007","unstructured":"E. Badouel , A. Benveniste , M. Bozga , B. Caillaud , O. Constant , B. Josko , Q. Ma , R. Passerone , and M. Skipper . SPEEDS Metamodel Syntax and Draft Semantics , January 2007 . Deliverable D2 .1c. E. Badouel, A. Benveniste, M. Bozga, B. Caillaud, O.Constant, B. Josko, Q. Ma, R. Passerone, and M. Skipper. SPEEDS Metamodel Syntax and Draft Semantics, January 2007. Deliverable D2.1c.","journal-title":"SPEEDS Metamodel Syntax and Draft Semantics"},{"key":"e_1_3_2_1_5_1","volume-title":"Proceedings of FACS'05","author":"Bastide R.","year":"2005","unstructured":"R. Bastide and E. Barboni . Software Components: A Formal Semantics Based on Coloured Petri Nets . In Proceedings of FACS'05 , ENTCS, 2005 . R. Bastide and E. Barboni. Software Components: A Formal Semantics Based on Coloured Petri Nets. In Proceedings of FACS'05, ENTCS, 2005."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1109\/SEFM.2006.27"},{"key":"e_1_3_2_1_7_1","series-title":"ENTCS","first-page":"75","volume-title":"Proceedings of FACS'05","author":"Baumeister H.","year":"2006","unstructured":"H. Baumeister , F. Hacklinger , R. Hennicker , A. Knapp , and M. Wirsing . A Component Model for Architectural Programming . In Proceedings of FACS'05 , volume 160 of ENTCS , pages 75 -- 96 . Elsevier , 2006 . H. Baumeister, F. Hacklinger, R. Hennicker, A. Knapp, and M. Wirsing. A Component Model for Architectural Programming. In Proceedings of FACS'05, volume 160 of ENTCS, pages 75--96. Elsevier, 2006."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/606612.606614"},{"key":"e_1_3_2_1_9_1","first-page":"D2","author":"Bozga M.","year":"2007","unstructured":"M. Bozga , O. Constant , B. Josko , Q. Ma , and M. Skipper . SPEEDS Metamodel Syntax and Static Semantics , February 2007 . Deliverable D2 .1b. M. Bozga, O.Constant, B. Josko, Q. Ma, and M. Skipper. SPEEDS Metamodel Syntax and Static Semantics, February 2007. Deliverable D2.1b.","journal-title":"SPEEDS Metamodel Syntax and Static Semantics"},{"key":"e_1_3_2_1_10_1","series-title":"NATO ASI Series","first-page":"101","volume-title":"Calculational System Design, IOS","author":"Broy M.","year":"1999","unstructured":"M. Broy . Towards a Logical Basis of Software Engineering . In M. Broy and R. Steinbr\u00fcggen, editors, Calculational System Design, IOS 1999 , volume 158 of NATO ASI Series , Series F: Computer and System Sciences , pages 101 -- 131 . 1999. M. Broy. Towards a Logical Basis of Software Engineering. In M. Broy and R. Steinbr\u00fcggen, editors, Calculational System Design, IOS 1999, volume 158 of NATO ASI Series, Series F: Computer and System Sciences, pages 101 -- 131. 1999."},{"key":"e_1_3_2_1_11_1","series-title":"ENTCS","first-page":"67","volume-title":"Proceedings of FACS 05","author":"Chouali S.","year":"2006","unstructured":"S. Chouali , M. Heisel , and J. Souqui\u00e8res . Proving Component Interoperability with B Refinement . In Proceedings of FACS 05 , volume 160 of ENTCS , pages 67 -- 84 , 2006 . S. Chouali, M. Heisel, and J. Souqui\u00e8res. Proving Component Interoperability with B Refinement. In Proceedings of FACS 05, volume 160 of ENTCS, pages 67--84, 2006."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/503209.503226"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF01383879"},{"key":"e_1_3_2_1_14_1","volume-title":"INRIA","author":"G\u00f6ssler G.","year":"2006","unstructured":"G. G\u00f6ssler . Component-based Design of Heterogeneous Reactive Systems in Prometheus. Technical report 6057 , INRIA , December 2006 . G. G\u00f6ssler. Component-based Design of Heterogeneous Reactive Systems in Prometheus. Technical report 6057, INRIA, December 2006."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-69507-3_24"},{"key":"e_1_3_2_1_16_1","first-page":"201","volume":"4444","author":"G\u00f6ssler G.","year":"2007","unstructured":"G. G\u00f6ssler , S. Graf , M. Majster-Cederbaum , M. Martens , and J. Sifakis . Ensuring Properties of Interaction Systems. In Program Analysis and Computation, Theory and Practice , volume 4444 of LNCS, pages 201 -- 224 , 2007 . G. G\u00f6ssler, S. Graf, M. Majster-Cederbaum, M. Martens, and J. Sifakis. Ensuring Properties of Interaction Systems. In Program Analysis and Computation, Theory and Practice, volume 4444 of LNCS, pages 201--224, 2007.","journal-title":"Ensuring Properties of Interaction Systems. In Program Analysis and Computation, Theory and Practice"},{"key":"e_1_3_2_1_17_1","series-title":"LNCS","first-page":"420","volume-title":"Proceedings of FSTTCS'03","author":"G\u00f6ssler G.","year":"2003","unstructured":"G. G\u00f6ssler and J. Sifakis . Component-Based Construction of Deadlock-Free Systems . In Proceedings of FSTTCS'03 , volume 2914 of LNCS , pages 420 -- 433 , 2003 . G. G\u00f6ssler and J. Sifakis. Component-Based Construction of Deadlock-Free Systems. In Proceedings of FSTTCS'03, volume 2914 of LNCS, pages 420--433, 2003."},{"key":"e_1_3_2_1_18_1","series-title":"LNCS","first-page":"443","volume-title":"Proceedings of FMCO 02","author":"G\u00f6ssler G.","year":"2003","unstructured":"G. G\u00f6ssler and J. Sifakis . Composition for Component-Based Modeling . In Proceedings of FMCO 02 , volume 2852 of LNCS , pages 443 -- 466 , 2003 . G. G\u00f6ssler and J. Sifakis. Composition for Component-Based Modeling. In Proceedings of FMCO 02, volume 2852 of LNCS, pages 443--466, 2003."},{"key":"e_1_3_2_1_19_1","series-title":"LNCS","first-page":"314","volume-title":"Proceedings of FMCO'03)","author":"G\u00f6ssler G.","year":"2004","unstructured":"G. G\u00f6ssler and J. Sifakis . Priority Systems . In Proceedings of FMCO'03) , volume 3188 of LNCS , pages 314 -- 329 , 2004 . G. G\u00f6ssler and J. Sifakis. Priority Systems. In Proceedings of FMCO'03), volume 3188 of LNCS, pages 314--329, 2004."},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2004.05.014"},{"key":"e_1_3_2_1_21_1","series-title":"LNCS","first-page":"60","volume-title":"Proceedings of FASE'01","author":"Inverardi P.","year":"2001","unstructured":"P. Inverardi and S. Uchitel . Proving Deadlock Freedom in Component-Based Programming . In Proceedings of FASE'01 , volume 2029 of LNCS , pages 60 -- 75 , 2001 . P. Inverardi and S. Uchitel. Proving Deadlock Freedom in Component-Based Programming. In Proceedings of FASE'01, volume 2029 of LNCS, pages 60--75, 2001."},{"issue":"3","key":"e_1_3_2_1_22_1","first-page":"219","volume":"2","author":"Lynch N. A.","year":"1989","unstructured":"N. A. Lynch and M. R. Tuttle . An Introduction to Input\/Output Automata. CWI-Quarterly , 2 ( 3 ): 219 -- 246 , Sept. 1989 . N. A. Lynch and M. R. Tuttle. An Introduction to Input\/Output Automata. CWI-Quarterly, 2(3):219--246, Sept. 1989.","journal-title":"An Introduction to Input\/Output Automata. CWI-Quarterly"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-73196-2_21"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-69507-3_77"},{"key":"e_1_3_2_1_25_1","volume-title":"Proceedings of FACS'07","author":"Majster-Cederbaum M.","year":"2007","unstructured":"M. Majster-Cederbaum , M. Martens , and C. Minnameier . Liveness in Interaction Systems . In Proceedings of FACS'07 , ENTCS, 2007 . M. Majster-Cederbaum, M. Martens, and C. Minnameier. Liveness in Interaction Systems. In Proceedings of FACS'07, ENTCS, 2007."},{"key":"e_1_3_2_1_26_1","series-title":"LNCS","first-page":"352","volume-title":"Proceedings of SOFSEM'08","author":"Majster-Cederbaum M.","year":"2008","unstructured":"M. Majster-Cederbaum and C. Minnameier . Deriving Complexity Results for Interaction Systems from 1-safe Petri Nets . In Proceedings of SOFSEM'08 , volume 4910 of LNCS , pages 352 -- 363 . Springer , 2008 . M. Majster-Cederbaum and C. Minnameier. Deriving Complexity Results for Interaction Systems from 1-safe Petri Nets. In Proceedings of SOFSEM'08, volume 4910 of LNCS, pages 352--363. Springer, 2008."},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-85762-4_15"},{"key":"e_1_3_2_1_28_1","volume-title":"Deadlock-Freedom for Acyclic Component Architectures with Multiway Cooperation","author":"Martens M.","year":"2008","unstructured":"M. Martens and M. Majster-Cederbaum . Deadlock-Freedom for Acyclic Component Architectures with Multiway Cooperation , 2008 . submitted for publication. M. Martens and M. Majster-Cederbaum. Deadlock-Freedom for Acyclic Component Architectures with Multiway Cooperation, 2008. submitted for publication."},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.5555\/784821.784857"},{"key":"e_1_3_2_1_30_1","series-title":"LNCS","first-page":"339","volume-title":"Proceedings of FMCO'02","author":"Nierstrasz O.","year":"2003","unstructured":"O. Nierstrasz and F. Achermann . A Calculus for Modeling Software Components . In Proceedings of FMCO'02 , volume 2852 of LNCS , pages 339 -- 360 , 2003 . O. Nierstrasz and F. Achermann. A Calculus for Modeling Software Components. In Proceedings of FMCO'02, volume 2852 of LNCS, pages 339--360, 2003."},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2006.09.036"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1109\/REAL.2004.34"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1109\/SEFM.2005.3"}],"event":{"name":"ESWEEK 08: Fourth Embedded Systems Week","sponsor":["ACM Association for Computing Machinery","SIGBED ACM Special Interest Group on Embedded Systems","SIGDA ACM Special Interest Group on Design Automation","SIGMICRO ACM Special Interest Group on Microarchitectural Research and Processing"],"location":"Atlanta GA USA","acronym":"ESWEEK 08"},"container-title":["Proceedings of the 8th ACM international conference on Embedded software"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1450058.1450085","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1450058.1450085","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T13:30:07Z","timestamp":1750253407000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1450058.1450085"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,10,19]]},"references-count":33,"alternative-id":["10.1145\/1450058.1450085","10.1145\/1450058"],"URL":"https:\/\/doi.org\/10.1145\/1450058.1450085","relation":{},"subject":[],"published":{"date-parts":[[2008,10,19]]},"assertion":[{"value":"2008-10-19","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}