{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,16]],"date-time":"2025-05-16T22:40:03Z","timestamp":1747435203635,"version":"3.40.5"},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783662460771"},{"type":"electronic","value":"9783662460788"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-662-46078-8_13","type":"book-chapter","created":{"date-parts":[[2015,1,14]],"date-time":"2015-01-14T14:54:29Z","timestamp":1421247269000},"page":"152-163","source":"Crossref","is-referenced-by-count":7,"title":["Nondeterministic Modal Interfaces"],"prefix":"10.1007","author":[{"given":"Ferenc","family":"Bujtor","sequence":"first","affiliation":[]},{"given":"Sascha","family":"Fendrich","sequence":"additional","affiliation":[]},{"given":"Gerald","family":"L\u00fcttgen","sequence":"additional","affiliation":[]},{"given":"Walter","family":"Vogler","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"13_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"43","DOI":"10.1007\/978-3-642-28872-2_3","volume-title":"Fundamental Approaches to Software Engineering","author":"S.S. Bauer","year":"2012","unstructured":"Bauer, S.S., David, A., Hennicker, R., Guldstrand Larsen, K., Legay, A., Nyman, U., W\u0105sowski, A.: Moving from specifications to contracts in component-based design. In: de Lara, J., Zisman, A. (eds.) FASE 2012. LNCS, vol.\u00a07212, pp. 43\u201358. Springer, Heidelberg (2012)"},{"key":"13_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"175","DOI":"10.1007\/978-3-642-12002-2_15","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"S.S. Bauer","year":"2010","unstructured":"Bauer, S.S., Mayer, P., Schroeder, A., Hennicker, R.: On weak modal compatibility, refinement, and the MIO Workbench. In: Esparza, J., Majumdar, R. (eds.) TACAS 2010. LNCS, vol.\u00a06015, pp. 175\u2013189. Springer, Heidelberg (2010)"},{"key":"13_CR3","unstructured":"Benveniste, A., Caillaud, B., Nickovic, D., Passerone, R., Raclet, J.B., Reinkemeier, P., Sangiovanni-Vincentelli, A., Damm, W., Henzinger, T.A., Larsen, K.G.: Contracts for system design. Tech. Rep. 8147, INRIA (November 2012)"},{"key":"13_CR4","doi-asserted-by":"crossref","unstructured":"Beyer, D., Chakrabarti, A., Henzinger, T.A., Seshia, S.A.: An application of web-service interfaces. In: ICWS, pp. 831\u2013838. IEEE (2007)","DOI":"10.1109\/ICWS.2007.32"},{"key":"13_CR5","doi-asserted-by":"crossref","unstructured":"Bujtor, F., Fendrich, S., L\u00fcttgen, G., Vogler, W.: Nondeterministic modal interfaces. Tech. Rep. 2014-06, Institut f\u00fcr Informatik, Universit\u00e4t Augsburg (2014)","DOI":"10.1007\/978-3-662-46078-8_13"},{"key":"13_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"162","DOI":"10.1007\/978-3-319-04298-5_15","volume-title":"SOFSEM 2014: Theory and Practice of Computer Science","author":"F. Bujtor","year":"2014","unstructured":"Bujtor, F., Vogler, W.: Error-pruning in interface automata. In: Geffert, V., Preneel, B., Rovan, B., \u0160tuller, J., Tjoa, A.M. (eds.) SOFSEM 2014. LNCS, vol.\u00a08327, pp. 162\u2013173. Springer, Heidelberg (2014)"},{"key":"13_CR7","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.Z.: A compositional specification theory for component behaviours. In: Seidl, H. (ed.) ESOP 2012. LNCS, vol.\u00a07211, pp. 148\u2013168. Springer, Heidelberg (2012)"},{"key":"13_CR8","unstructured":"Chilton, C.: An Algebraic Theory of Componentised Interaction. Ph.D. thesis, Oxford (2013)"},{"key":"13_CR9","doi-asserted-by":"crossref","unstructured":"de Alfaro, L., Henzinger, T.A.: Interface automata. In: FSE, pp. 109\u2013120. ACM (2001)","DOI":"10.1145\/503271.503226"},{"key":"13_CR10","unstructured":"de Alfaro, L., Henzinger, T.A.: Interface-based design. In: Engineering Theories of Software-Intensive Systems. NATO Science Series, vol.\u00a0195. Springer (2005)"},{"issue":"2","key":"13_CR11","doi-asserted-by":"publisher","first-page":"391","DOI":"10.1016\/0304-3975(95)92307-J","volume":"138","author":"R. Nicola De","year":"1995","unstructured":"De Nicola, R., Segala, R.: A process algebraic view of input\/output automata. Theor. Comput. Sci.\u00a0138(2), 391\u2013423 (1995)","journal-title":"Theor. Comput. Sci."},{"key":"13_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"163","DOI":"10.1007\/3-540-51237-3_14","volume-title":"Logic at Botik \u201989","author":"H. H\u00fcttel","year":"1989","unstructured":"H\u00fcttel, H., Larsen, K.G.: The use of static constructs in a modal process logic. In: Meyer, A.R., Taitslin, M.A. (eds.) Logic at Botik 1989. LNCS, vol.\u00a0363, pp. 163\u2013180. Springer, Heidelberg (1989)"},{"key":"13_CR13","doi-asserted-by":"crossref","unstructured":"Larsen, K., Xinxin, L.: Equation solving using modal transition systems. In: LICS, pp. 108\u2013117. IEEE (1990)","DOI":"10.1109\/LICS.1990.113738"},{"key":"13_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"232","DOI":"10.1007\/3-540-52148-8_19","volume-title":"Automatic Verification Methods for Finite State Systems","author":"K.G. Larsen","year":"1990","unstructured":"Larsen, K.G.: Modal specifications. In: Sifakis, J. (ed.) CAV 1989. LNCS, vol.\u00a0407, pp. 232\u2013246. Springer, Heidelberg (1990)"},{"key":"13_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"64","DOI":"10.1007\/978-3-540-71316-6_6","volume-title":"Programming Languages and Systems","author":"K.G. Larsen","year":"2007","unstructured":"Larsen, K.G., Nyman, U., W\u0105sowski, A.: Modal I\/O automata for interface and product line theories. In: De Nicola, R. (ed.) ESOP 2007. LNCS, vol.\u00a04421, pp. 64\u201379. Springer, Heidelberg (2007)"},{"key":"13_CR16","doi-asserted-by":"crossref","unstructured":"L\u00fcttgen, G., Vogler, W.: Modal interface automata. LMCS 9(3) (2013)","DOI":"10.2168\/LMCS-9(3:4)2013"},{"key":"13_CR17","unstructured":"L\u00fcttgen, G., Vogler, W.: Richer interface automata with optimistic and pessimistic compatibility. ECEASST 66 (2013), an extended version has been submitted to Acta Informatica"},{"issue":"1-2","key":"13_CR18","doi-asserted-by":"crossref","first-page":"119","DOI":"10.3233\/FI-2011-416","volume":"108","author":"J.B. 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. Fund. Inform.\u00a0108(1-2), 119\u2013149 (2011)","journal-title":"Fund. Inform."}],"container-title":["Lecture Notes in Computer Science","SOFSEM 2015: Theory and Practice of Computer Science"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-662-46078-8_13","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,16]],"date-time":"2025-05-16T22:16:58Z","timestamp":1747433818000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-662-46078-8_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783662460771","9783662460788"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-662-46078-8_13","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2015]]}}}