{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T09:30:19Z","timestamp":1729675819768,"version":"3.28.0"},"reference-count":31,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009,7]]},"DOI":"10.1109\/tase.2009.18","type":"proceedings-article","created":{"date-parts":[[2009,8,11]],"date-time":"2009-08-11T20:19:17Z","timestamp":1250021957000},"page":"225-232","source":"Crossref","is-referenced-by-count":4,"title":["Using Architectural Constraints for Deadlock-Freedom of Component Systems with Multiway Cooperation"],"prefix":"10.1109","author":[{"given":"Moritz","family":"Martens","sequence":"first","affiliation":[]},{"given":"Mila","family":"Majster-Cederbaum","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"year":"0","key":"19"},{"year":"0","key":"17"},{"doi-asserted-by":"publisher","key":"18","DOI":"10.1007\/BF01784721"},{"doi-asserted-by":"publisher","key":"15","DOI":"10.1016\/j.entcs.2006.05.015"},{"doi-asserted-by":"publisher","key":"16","DOI":"10.1145\/606612.606614"},{"doi-asserted-by":"publisher","key":"13","DOI":"10.1007\/978-3-540-73196-2_21"},{"doi-asserted-by":"publisher","key":"14","DOI":"10.1016\/j.entcs.2008.06.021"},{"key":"11","first-page":"295","article-title":"an approach to modelling and verification of component based systems","volume":"4362","author":"go?ssler","year":"2007","journal-title":"ser LNCS"},{"key":"12","first-page":"888","article-title":"a polynomial-time-checkable sufficient condition for deadlock-freeness of component based systems","volume":"4362","author":"majster-cederbaum","year":"2007","journal-title":"ser LNCS"},{"doi-asserted-by":"publisher","key":"21","DOI":"10.1109\/SEFM.2006.27"},{"doi-asserted-by":"publisher","key":"20","DOI":"10.1007\/BF01383879"},{"year":"2006","author":"go?ssler","journal-title":"Component-based Design of Heterogeneous Reactive Systems in Prometheus","key":"22"},{"year":"2007","author":"badouel","article-title":"speeds metamodel syntax and draft semantics","key":"23"},{"doi-asserted-by":"publisher","key":"24","DOI":"10.1145\/503209.503226"},{"year":"1985","author":"hoare","journal-title":"Communicating Sequential Processes","key":"25"},{"key":"26","first-page":"219","article-title":"an introduction to input\/output automata","volume":"2","author":"lynch","year":"1989","journal-title":"CWI-Quarterly"},{"doi-asserted-by":"publisher","key":"27","DOI":"10.1007\/978-3-540-77566-9_30"},{"doi-asserted-by":"publisher","key":"28","DOI":"10.1007\/978-3-540-30101-1_15"},{"doi-asserted-by":"publisher","key":"29","DOI":"10.1016\/j.entcs.2009.12.035"},{"key":"3","first-page":"339","article-title":"a calculus for modeling software components","volume":"2852","author":"nierstrasz","year":"2003","journal-title":"ser LNCS"},{"doi-asserted-by":"publisher","key":"2","DOI":"10.1145\/258077.258078"},{"doi-asserted-by":"publisher","key":"10","DOI":"10.1007\/978-3-540-71322-7_10"},{"key":"1","article-title":"software components: a formal semantics based on coloured petri nets","author":"bastide","year":"2005","journal-title":"ser ENTCS"},{"doi-asserted-by":"publisher","key":"30","DOI":"10.1016\/j.entcs.2006.09.036"},{"doi-asserted-by":"publisher","key":"7","DOI":"10.1007\/978-3-540-85762-4_15"},{"key":"6","doi-asserted-by":"crossref","first-page":"161","DOI":"10.1016\/j.scico.2004.05.014","article-title":"composition for component-based modeling","volume":"55","author":"go?ssler","year":"2005","journal-title":"Sci Comput Program"},{"doi-asserted-by":"publisher","key":"5","DOI":"10.1017\/S0960129504004153"},{"year":"2008","author":"schaube","article-title":"effiziente uberapproximation des globalen zustandsraums komponenten-basierter systeme durch cross-checking in subsystemen","key":"31"},{"year":"0","key":"4"},{"key":"9","first-page":"60","article-title":"proving deadlock freedom in component-based programming","volume":"2029","author":"inverardi","year":"2001","journal-title":"ser LNCS"},{"doi-asserted-by":"publisher","key":"8","DOI":"10.1007\/978-3-540-30579-8_30"}],"event":{"name":"2009 Third IEEE International Symposium on Theoretical Aspects of Software Engineering (TASE)","start":{"date-parts":[[2009,7,29]]},"location":"Tianjin, China","end":{"date-parts":[[2009,7,31]]}},"container-title":["2009 Third IEEE International Symposium on Theoretical Aspects of Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/5198469\/5198470\/05198506.pdf?arnumber=5198506","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,18]],"date-time":"2017-06-18T22:44:36Z","timestamp":1497825876000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/5198506\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,7]]},"references-count":31,"URL":"https:\/\/doi.org\/10.1109\/tase.2009.18","relation":{},"subject":[],"published":{"date-parts":[[2009,7]]}}}