{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T13:58:50Z","timestamp":1725544730266},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642116223"},{"type":"electronic","value":"9783642116230"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-11623-0_20","type":"book-chapter","created":{"date-parts":[[2010,1,25]],"date-time":"2010-01-25T01:08:29Z","timestamp":1264381709000},"page":"340-354","source":"Crossref","is-referenced-by-count":0,"title":["Compositional Strategy Mapping"],"prefix":"10.1007","author":[{"given":"Gregor","family":"G\u00f6ssler","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"20_CR1","first-page":"3","volume-title":"Proc. SEFM 2006 (invited paper)","author":"A. Basu","year":"2006","unstructured":"Basu, A., Bozga, M., Sifakis, J.: Modeling heterogeneous real-time components in BIP. In: Proc. SEFM 2006 (invited paper), pp. 3\u201312. IEEE, Los Alamitos (2006)"},{"key":"20_CR2","doi-asserted-by":"publisher","first-page":"11","DOI":"10.1145\/1289927.1289935","volume-title":"Proc. EMSOFT 2007","author":"S. Bliudze","year":"2007","unstructured":"Bliudze, S., Sifakis, J.: The algebra of connectors \u2014 structuring interaction in BIP. In: Proc. EMSOFT 2007, pp. 11\u201320. ACM, New York (2007)"},{"issue":"6","key":"20_CR3","doi-asserted-by":"publisher","first-page":"850","DOI":"10.1145\/268999.269004","volume":"44","author":"M. Broy","year":"1997","unstructured":"Broy, M.: Compositional refinement of interactive systems. J. ACM\u00a044(6), 850\u2013891 (1997)","journal-title":"J. ACM"},{"key":"20_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"261","DOI":"10.1007\/978-3-540-71209-1_21","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"K. Chatterjee","year":"2007","unstructured":"Chatterjee, K., Henzinger, T.: Assume-guarantee synthesis. In: Grumberg, O., Huth, M. (eds.) TACAS 2007. LNCS, vol.\u00a04424, pp. 261\u2013275. Springer, Heidelberg (2007)"},{"key":"20_CR5","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"81","DOI":"10.1007\/11559306_5","volume-title":"Frontiers of Combining Systems","author":"L. Alfaro de","year":"2005","unstructured":"de Alfaro, L., Dias da Silva, L., Faella, M., Legay, A., Roy, P., Sorea, M.: Sociable interfaces. In: Gramlich, B. (ed.) FroCos 2005. LNCS (LNAI), vol.\u00a03717, pp. 81\u2013105. Springer, Heidelberg (2005)"},{"key":"20_CR6","first-page":"109","volume-title":"Proc. 9th Annual Symposium on Foundations of Software Engineering (FSE)","author":"L. Alfaro de","year":"2001","unstructured":"de Alfaro, L., Henzinger, T.A.: Interface automata. In: Proc. 9th Annual Symposium on Foundations of Software Engineering (FSE), pp. 109\u2013120. ACM Press, New York (2001)"},{"key":"20_CR7","series-title":"Lecture Notes in Computer Science","volume-title":"Computer Aided Verification","author":"J.-C. Fernandez","year":"1992","unstructured":"Fernandez, J.-C., Mounier, L.: \u201cOn the Fly\u201d verification of behavioural equivalences and preorders. In: Larsen, K.G., Skou, A. (eds.) CAV 1991. LNCS, vol.\u00a0575. Springer, Heidelberg (1992)"},{"issue":"2","key":"20_CR8","doi-asserted-by":"publisher","first-page":"179","DOI":"10.1007\/s10626-006-0007-7","volume":"17","author":"B. Gaudin","year":"2007","unstructured":"Gaudin, B., Marchand, H.: An efficient modular method for the control of concurrent discrete event systems: A language-based approach. Discrete Event Dynamic System\u00a017(2), 179\u2013209 (2007)","journal-title":"Discrete Event Dynamic System"},{"key":"20_CR9","unstructured":"G\u00f6ssler, G.: Component-based design of heterogeneous reactive systems in prometheus. Research Report 6057, INRIA (2006)"},{"issue":"1-3","key":"20_CR10","doi-asserted-by":"publisher","first-page":"161","DOI":"10.1016\/j.scico.2004.05.014","volume":"55","author":"G. G\u00f6ssler","year":"2005","unstructured":"G\u00f6ssler, G., Sifakis, J.: Composition for component-based modeling. Science of Computer Programming\u00a055(1-3), 161\u2013183 (2005)","journal-title":"Science of Computer Programming"},{"issue":"2","key":"20_CR11","doi-asserted-by":"publisher","first-page":"135","DOI":"10.1007\/BF00288966","volume":"17","author":"J.L.W. Kessels","year":"1982","unstructured":"Kessels, J.L.W.: Arbitration without common modifiable variables. Acta Informatica\u00a017(2), 135\u2013141 (1982)","journal-title":"Acta Informatica"},{"key":"20_CR12","doi-asserted-by":"crossref","unstructured":"Keutzer, K., Malik, S., Newton, A.R., Rabaey, J.M., Sangiovanni-Vincentelli, A.: System level design: Orthogonalization of concerns and platform-based design. IEEE Trans. on Computer-Aided Design\u00a019(12) (2000)","DOI":"10.1109\/43.898830"},{"issue":"1","key":"20_CR13","doi-asserted-by":"publisher","first-page":"13","DOI":"10.1007\/BF02551233","volume":"1","author":"W.M. Wonham","year":"1988","unstructured":"Wonham, W.M., Ramadge, P.J.: Modular supervisory control of discrete event systems. Mathematics of Control Signals and Systems\u00a01(1), 13\u201330 (1988)","journal-title":"Mathematics of Control Signals and Systems"}],"container-title":["Lecture Notes in Computer Science","Fundamentals of Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-11623-0_20.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,24]],"date-time":"2020-11-24T02:42:23Z","timestamp":1606185743000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-11623-0_20"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642116223","9783642116230"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-11623-0_20","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}