{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,19]],"date-time":"2025-05-19T22:10:03Z","timestamp":1747692603321,"version":"3.40.5"},"publisher-location":"Cham","reference-count":17,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319155784"},{"type":"electronic","value":"9783319155791"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-319-15579-1_23","type":"book-chapter","created":{"date-parts":[[2015,2,23]],"date-time":"2015-02-23T08:36:13Z","timestamp":1424680573000},"page":"299-311","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["Quotient of Acceptance Specifications Under Reachability Constraints"],"prefix":"10.1007","author":[{"given":"Guillaume","family":"Verdier","sequence":"first","affiliation":[]},{"given":"Jean-Baptiste","family":"Raclet","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2015,2,24]]},"reference":[{"issue":"2","key":"23_CR1","doi-asserted-by":"publisher","first-page":"193","DOI":"10.1007\/s10703-012-0178-9","volume":"42","author":"SS Bauer","year":"2013","unstructured":"Bauer, S.S., Fahrenberg, U., Juhl, L., Larsen, K.G., Legay, A., Thrane, C.R.: Weighted modal transition systems. Formal Methods in System Design 42(2), 193\u2013220 (2013)","journal-title":"Formal Methods in System Design"},{"key":"23_CR2","doi-asserted-by":"publisher","first-page":"106","DOI":"10.1016\/j.scico.2013.06.003","volume":"83","author":"SS Bauer","year":"2014","unstructured":"Bauer, S.S., Larsen, K.G., Legay, A., Nyman, U., Wasowski, A.: A modal specification theory for components with data. Sci. Comput. Program. 83, 106\u2013128 (2014)","journal-title":"Sci. Comput. Program."},{"key":"23_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"76","DOI":"10.1007\/978-3-642-40184-8_7","volume-title":"CONCUR 2013 \u2013 Concurrency Theory","author":"N Bene\u0161","year":"2013","unstructured":"Bene\u0161, N., Delahaye, B., Fahrenberg, U., K\u0159et\\\u2019\u0131nsk\u00fd, J., Legay, A.: Hennessy-Milner Logic with Greatest Fixed Points as a Complete Behavioural Specification Theory. In: D\u2019Argenio, P.R., Melgratti, H. (eds.) CONCUR 2013 \u2013 Concurrency Theory. LNCS, vol. 8052, pp. 76\u201390. Springer, Heidelberg (2013)"},{"key":"23_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"228","DOI":"10.1007\/978-3-642-24372-1_17","volume-title":"Automated Technology for Verification and Analysis","author":"N Bene\u0161","year":"2011","unstructured":"Bene\u0161, N., \u010cern\u00e1, I., K\u0159et\\\u2019\u0131nsk\u00fd, J.: Modal Transition Systems: Composition and LTL Model Checking. In: Bultan, T., Hsiung, P.-A. (eds.) ATVA 2011. LNCS, vol. 6996, pp. 228\u2013242. Springer, Heidelberg (2011)"},{"key":"23_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"275","DOI":"10.1007\/978-3-642-24372-1_20","volume-title":"Automated Technology for Verification and Analysis","author":"N Bene\u0161","year":"2011","unstructured":"Bene\u0161, N., K\u0159et\\\u2019\u0131nsk\u00fd, J., Larsen, K.G., M\u00f8ller, M.H., Srba, J.: Parametric Modal Transition Systems. In: Bultan, T., Hsiung, P.-A. (eds.) ATVA 2011. LNCS, vol. 6996, pp. 275\u2013289. Springer, Heidelberg (2011)"},{"key":"23_CR6","unstructured":"Benveniste, A., Raclet, J.B., Caillaud, B., Nickovic, D., Passerone, R., Sangiovanni-Vincentelli, A., Henzinger, T., Larsen, K.G.: Contracts for the design of embedded systems - part II: theory (2012)"},{"issue":"12","key":"23_CR7","doi-asserted-by":"publisher","first-page":"1212","DOI":"10.1016\/j.scico.2011.01.007","volume":"77","author":"N Bertrand","year":"2012","unstructured":"Bertrand, N., Legay, A., Pinchinat, S., Raclet, J.B.: Modal event-clock specifications for timed component-based design. Sci. Comput. Program. 77(12), 1212\u20131234 (2012)","journal-title":"Sci. Comput. Program."},{"key":"23_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"213","DOI":"10.1007\/978-3-642-32943-2_17","volume-title":"Theoretical Aspects of Computing \u2013 ICTAC 2012","author":"B Caillaud","year":"2012","unstructured":"Caillaud, B., Raclet, J.-B.: Ensuring Reachability by Design. In: Roychoudhury, A., D\u2019Souza, M. (eds.) ICTAC 2012. LNCS, vol. 7521, pp. 213\u2013227. Springer, Heidelberg (2012)"},{"key":"23_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"148","DOI":"10.1007\/978-3-642-28869-2_8","volume-title":"Programming Languages and Systems","author":"T Chen","year":"2012","unstructured":"Chen, T., Chilton, C., Jonsson, B., Kwiatkowska, M.: A Compositional Specification Theory for Component Behaviours. In: Seidl, H. (ed.) Programming Languages and Systems. LNCS, vol. 7211, pp. 148\u2013168. Springer, Heidelberg (2012)"},{"key":"23_CR10","doi-asserted-by":"crossref","unstructured":"Darondeau, P., Dubreil, J., Marchand, H.: Supervisory control for modal specifications of services. In: WODES. pp. 428\u2013435 (2010)","DOI":"10.3182\/20100830-3-DE-4013.00069"},{"key":"23_CR11","doi-asserted-by":"crossref","unstructured":"David, A., Larsen, K.G., Legay, A., Nyman, U., Wasowski, A.: Timed I\/O automata : A complete specification theory for real-time systems. In: HSCC. pp. 91\u2013100. ACM (2010)","DOI":"10.1145\/1755952.1755967"},{"issue":"4","key":"23_CR12","doi-asserted-by":"publisher","first-page":"896","DOI":"10.1145\/4221.4249","volume":"32","author":"M Hennessy","year":"1985","unstructured":"Hennessy, M.: Acceptance trees. J. ACM 32(4), 896\u2013928 (1985)","journal-title":"J. ACM"},{"key":"23_CR13","doi-asserted-by":"crossref","unstructured":"Larsen, K.G., Thomsen, B.: A modal process logic. In: LICS. pp. 203\u2013210. IEEE (1988)","DOI":"10.1109\/LICS.1988.5119"},{"key":"23_CR14","doi-asserted-by":"crossref","unstructured":"L\u00fcttgen, G., Vogler, W.: Modal interface automata. Logical Methods in Computer Science 9(3) (2013)","DOI":"10.2168\/LMCS-9(3:4)2013"},{"key":"23_CR15","doi-asserted-by":"publisher","first-page":"93","DOI":"10.1016\/j.entcs.2008.06.023","volume":"215","author":"JB Raclet","year":"2008","unstructured":"Raclet, J.B.: Residual for component specifications. FACS. Electr. Notes Theor. Comput. Sci. 215, 93\u2013110 (2008)","journal-title":"FACS. Electr. Notes Theor. Comput. Sci."},{"issue":"1\u20132","key":"23_CR16","doi-asserted-by":"crossref","first-page":"119","DOI":"10.3233\/FI-2011-416","volume":"108","author":"JB Raclet","year":"2011","unstructured":"Raclet, J.B., Badouel, E., Benveniste, A., Caillaud, B., Legay, A., Passerone, R.: A modal interface theory for component-based design. Fun. Informaticae 108(1\u20132), 119\u2013149 (2011)","journal-title":"Fun. Informaticae"},{"key":"23_CR17","doi-asserted-by":"crossref","unstructured":"Verdier, G., Raclet, J.B.: Quotient of acceptance specifications under reachability constraints. arXiv:1411.6463 (2014)","DOI":"10.1007\/978-3-319-15579-1_23"}],"container-title":["Lecture Notes in Computer Science","Language and Automata Theory and Applications"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-15579-1_23","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,19]],"date-time":"2025-05-19T21:57:26Z","timestamp":1747691846000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-15579-1_23"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319155784","9783319155791"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-15579-1_23","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2015]]},"assertion":[{"value":"24 February 2015","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}