{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,11]],"date-time":"2025-10-11T17:10:52Z","timestamp":1760202652883},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642391750"},{"type":"electronic","value":"9783642391767"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-39176-7_22","type":"book-chapter","created":{"date-parts":[[2013,5,30]],"date-time":"2013-05-30T08:58:44Z","timestamp":1369904324000},"page":"358-375","source":"Crossref","is-referenced-by-count":2,"title":["Error-Completion in Interface Theories"],"prefix":"10.1007","author":[{"given":"Stavros","family":"Tripakis","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Christos","family":"Stergiou","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Manfred","family":"Broy","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Edward A.","family":"Lee","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"22_CR1","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511624162","volume-title":"The B-book: assigning programs to meanings","author":"J.-R. Abrial","year":"1996","unstructured":"Abrial, J.-R.: The B-book: assigning programs to meanings. Cambridge University Press, New York (1996)"},{"key":"22_CR2","doi-asserted-by":"publisher","first-page":"7","DOI":"10.1023\/A:1008739929481","volume":"15","author":"R. Alur","year":"1999","unstructured":"Alur, R., Henzinger, T.: Reactive modules. Formal Methods in System Design\u00a015, 7\u201348 (1999)","journal-title":"Formal Methods in System Design"},{"key":"22_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"163","DOI":"10.1007\/BFb0055622","volume-title":"CONCUR \u201998 Concurrency Theory","author":"R. Alur","year":"1998","unstructured":"Alur, R., Henzinger, T.A., Kupferman, O., Vardi, M.Y.: Alternating refinement relations. In: Sangiorgi, D., de Simone, R. (eds.) CONCUR 1998. LNCS, vol.\u00a01466, pp. 163\u2013178. Springer, Heidelberg (1998)"},{"key":"22_CR4","doi-asserted-by":"crossref","unstructured":"Back, R.-J., Wright, J.: Refinement Calculus. Springer (1998)","DOI":"10.1007\/978-1-4612-1674-2"},{"issue":"6","key":"22_CR5","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":"22_CR6","doi-asserted-by":"crossref","unstructured":"Broy, M., St\u00f8len, K.: Specification and development of interactive systems: focus on streams, interfaces, and refinement. Springer (2001)","DOI":"10.1007\/978-1-4613-0091-5"},{"key":"22_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"414","DOI":"10.1007\/3-540-45657-0_34","volume-title":"Computer Aided Verification","author":"A. Chakrabarti","year":"2002","unstructured":"Chakrabarti, A., de Alfaro, L., Henzinger, T.A., Mang, F.Y.C.: Synchronous and bidirectional component interfaces. In: Brinksma, E., Larsen, K.G. (eds.) CAV 2002. LNCS, vol.\u00a02404, pp. 414\u2013427. Springer, Heidelberg (2002)"},{"key":"22_CR8","series-title":"Lecture Notes in Computer Science","first-page":"269","volume-title":"Verification: Theory and Practice","author":"L. Alfaro de","year":"2004","unstructured":"de Alfaro, L.: Game models for open systems. In: Dershowitz, N. (ed.) Verification: Theory and Practice. LNCS, vol.\u00a02772, pp. 269\u2013289. Springer, Heidelberg (2004)"},{"key":"22_CR9","doi-asserted-by":"crossref","unstructured":"de Alfaro, L., Henzinger, T.: Interface automata. In: Foundations of Software Engineering, FSE. ACM Press (2001)","DOI":"10.1145\/503209.503226"},{"key":"22_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"148","DOI":"10.1007\/3-540-45449-7_11","volume-title":"Embedded Software","author":"L. Alfaro de","year":"2001","unstructured":"de Alfaro, L., Henzinger, T.A.: Interface theories for component-based design. In: Henzinger, T.A., Kirsch, C.M. (eds.) EMSOFT 2001. LNCS, vol.\u00a02211, pp. 148\u2013165. Springer, Heidelberg (2001)"},{"key":"22_CR11","doi-asserted-by":"crossref","unstructured":"Doyen, L., Henzinger, T., Jobstmann, B., Petrov, T.: Interface theories with component reuse. In: 8th ACM & IEEE International Conference on Embedded Software, EMSOFT, pp. 79\u201388 (2008)","DOI":"10.1145\/1450058.1450070"},{"key":"22_CR12","doi-asserted-by":"crossref","unstructured":"Geilen, M., Tripakis, S., Wiggers, M.: The Earlier the Better: A Theory of Timed Actor Interfaces. In: 14th Intl. Conf. Hybrid Systems: Computation and Control, HSCC 2011. ACM (2011)","DOI":"10.1145\/1967701.1967707"},{"issue":"5","key":"22_CR13","doi-asserted-by":"publisher","first-page":"534","DOI":"10.1145\/3532.315103","volume":"28","author":"E.C.R. Hehner","year":"1985","unstructured":"Hehner, E.C.R., Parnas, D.L.: Technical correspondence. Commun. ACM\u00a028(5), 534\u2013538 (1985)","journal-title":"Commun. ACM"},{"key":"22_CR14","first-page":"141","volume-title":"Proc. of a Discussion Meeting of the Royal Society of London on Mathematical Logic and Programming Languages","author":"C.A.R. Hoare","year":"1985","unstructured":"Hoare, C.A.R.: Programs are predicates. In: Proc. of a Discussion Meeting of the Royal Society of London on Mathematical Logic and Programming Languages, pp. 141\u2013155. Prentice-Hall, Inc., Upper Saddle River (1985)"},{"key":"22_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"354","DOI":"10.1007\/3-540-10007-5_43","volume-title":"Abstract Software Specifications","author":"B. Liskov","year":"1980","unstructured":"Liskov, B.: Modular program construction using abstractions. In: Bjorner, D. (ed.) Abstract Software Specifications. LNCS, vol.\u00a086, pp. 354\u2013389. Springer, Heidelberg (1980)"},{"key":"22_CR16","first-page":"219","volume":"2","author":"N.A. Lynch","year":"1989","unstructured":"Lynch, N.A., Tuttle, M.R.: An introduction to input\/output automata. CWI Quarterly\u00a02, 219\u2013246 (1989)","journal-title":"CWI Quarterly"},{"issue":"10","key":"22_CR17","doi-asserted-by":"publisher","first-page":"40","DOI":"10.1109\/2.161279","volume":"25","author":"B. Meyer","year":"1992","unstructured":"Meyer, B.: Applying \u201cdesign by contract\u201d. Computer\u00a025(10), 40\u201351 (1992)","journal-title":"Computer"},{"issue":"4","key":"22_CR18","doi-asserted-by":"publisher","first-page":"517","DOI":"10.1145\/69558.69559","volume":"11","author":"G. Nelson","year":"1989","unstructured":"Nelson, G.: A generalization of dijkstra\u2019s calculus. ACM Trans. Program. Lang. Syst.\u00a011(4), 517\u2013561 (1989)","journal-title":"ACM Trans. Program. Lang. Syst."},{"issue":"8","key":"22_CR19","doi-asserted-by":"publisher","first-page":"572","DOI":"10.1145\/358161.358168","volume":"26","author":"D.L. Parnas","year":"1983","unstructured":"Parnas, D.L.: A generalized control structure and its formal definition. Commun. ACM\u00a026(8), 572\u2013581 (1983)","journal-title":"Commun. ACM"},{"issue":"1-2","key":"22_CR20","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. Fundam. Inf.\u00a0108(1-2), 119\u2013149 (2011)","journal-title":"Fundam. Inf."},{"key":"22_CR21","volume-title":"The Z notation: a reference manual","author":"J.M. Spivey","year":"1989","unstructured":"Spivey, J.M.: The Z notation: a reference manual. Prentice-Hall, Inc., Upper Saddle River (1989)"},{"key":"22_CR22","doi-asserted-by":"crossref","unstructured":"Tripakis, S., Lickly, B., Henzinger, T.A., Lee, E.A.: A theory of synchronous relational interfaces. ACM Transactions on Programming Languages and Systems (TOPLAS) 33(4) (July 2011)","DOI":"10.1145\/1985342.1985345"}],"container-title":["Lecture Notes in Computer Science","Model Checking Software"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-39176-7_22","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,7,27]],"date-time":"2020-07-27T08:56:40Z","timestamp":1595840200000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-39176-7_22"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642391750","9783642391767"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-39176-7_22","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}