{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T19:40:48Z","timestamp":1743104448588,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":27,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642284113"},{"type":"electronic","value":"9783642284120"}],"license":[{"start":{"date-parts":[[2012,1,1]],"date-time":"2012-01-01T00:00:00Z","timestamp":1325376000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-28412-0_1","type":"book-chapter","created":{"date-parts":[[2012,2,18]],"date-time":"2012-02-18T09:14:28Z","timestamp":1329556468000},"page":"1-12","source":"Crossref","is-referenced-by-count":1,"title":["Building a Modal Interface Theory for Concurrency and Data"],"prefix":"10.1007","author":[{"given":"Sebastian S.","family":"Bauer","sequence":"first","affiliation":[]},{"given":"Rolf","family":"Hennicker","sequence":"additional","affiliation":[]},{"given":"Martin","family":"Wirsing","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"2","key":"1_CR1","doi-asserted-by":"publisher","first-page":"153","DOI":"10.1016\/S0304-3975(01)00368-1","volume":"286","author":"E. Astesiano","year":"2002","unstructured":"Astesiano, E., Bidoit, M., Kirchner, H., Krieg-Br\u00fcckner, B., Mosses, P.D., Sannella, D., Tarlecki, A.: CASL: the Common Algebraic Specification Language. Theor. Comput. Sci.\u00a0286(2), 153\u2013196 (2002)","journal-title":"Theor. Comput. Sci."},{"issue":"1-2","key":"1_CR2","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1007\/s12243-008-0069-7","volume":"64","author":"T. Barros","year":"2009","unstructured":"Barros, T., Ameur-Boulifa, R., Cansado, A., Henrio, L., Madelaine, E.: Behavioural models for distributed fractal components. Annales des T\u00e9l\u00e9communications\u00a064(1-2), 25\u201343 (2009)","journal-title":"Annales des T\u00e9l\u00e9communications"},{"key":"1_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"80","DOI":"10.1007\/978-3-642-19829-8_6","volume-title":"SBMF 2010","author":"S.S. Bauer","year":"2011","unstructured":"Bauer, S.S., Hennicker, R., Bidoit, M.: A modal interface theory with data constraints. In: Davies, J., Davies, J., Silva, L., Sim\u00e3o, A. (eds.) SBMF 2010. LNCS, vol.\u00a06527, pp. 80\u201395. Springer, Heidelberg (2011)"},{"issue":"28","key":"1_CR4","doi-asserted-by":"publisher","first-page":"3101","DOI":"10.1016\/j.tcs.2011.04.007","volume":"412","author":"S.S. Bauer","year":"2011","unstructured":"Bauer, S.S., Hennicker, R., Wirsing, M.: Interface theories for concurrency and data. Theor. Comput. Sci.\u00a0412(28), 3101\u20133121 (2011)","journal-title":"Theor. Comput. Sci."},{"key":"1_CR5","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)"},{"issue":"4","key":"1_CR6","doi-asserted-by":"crossref","first-page":"355","DOI":"10.3233\/FI-2010-254","volume":"99","author":"J.A. Bergstra","year":"2010","unstructured":"Bergstra, J.A., Middelburg, C.A.: An interface group for process components. Fundam. Inform.\u00a099(4), 355\u2013382 (2010)","journal-title":"Fundam. Inform."},{"key":"1_CR7","doi-asserted-by":"crossref","unstructured":"Cengarle, M.V., Knapp, A., M\u00fchlberger, H.: Interactions. In: Lano, K. (ed.) UML 2 Semantics and Applications, pp. 205\u2013248 (2009)","DOI":"10.1002\/9780470522622.ch9"},{"key":"1_CR8","series-title":"Lecture Notes in Computer Science","volume-title":"All About Maude - A High-Performance Logical Framework, How to Specify, Program and Verify Systems in Rewriting Logic","author":"M. Clavel","year":"2007","unstructured":"Clavel, M., Dur\u00e1n, F., Eker, S., Lincoln, P., Mart\u00ed-Oliet, N., Meseguer, J., Talcott, C.: All About Maude - A High-Performance Logical Framework, How to Specify, Program and Verify Systems in Rewriting Logic. LNCS, vol.\u00a04350. Springer, Heidelberg (2007)"},{"key":"1_CR9","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., da Silva, L.D., 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":"1_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":"1_CR11","series-title":"Informatik-Fachberichte","doi-asserted-by":"publisher","first-page":"201","DOI":"10.1007\/978-3-642-74872-1_14","volume-title":"Software-Entwicklung","author":"H. Ehrig","year":"1989","unstructured":"Ehrig, H., Cla\u00dfen, I., Boehm, P., Fey, W., Korff, M., L\u00f6we, M.: Algebraic Concepts for Software Development in ACT ONE, ACT TWO and LOTOS (eingeladener Vortrag). In: Lippe, W.-M. (ed.) Software-Entwicklung. Informatik-Fachberichte, vol.\u00a0212, pp. 201\u2013224. Springer, Heidelberg (1989)"},{"key":"1_CR12","series-title":"EATCS Monographs of Theoretical Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-61284-8","volume-title":"Fundamentals of Algebraic Specification 2","author":"H. Ehrig","year":"1990","unstructured":"Ehrig, H., Mahr, B.: Fundamentals of Algebraic Specification 2. EATCS Monographs of Theoretical Computer Science, vol.\u00a021. Springer, Berlin (1990)"},{"key":"1_CR13","doi-asserted-by":"publisher","first-page":"131","DOI":"10.1016\/j.entcs.2008.06.025","volume":"215","author":"F. Fernandes","year":"2008","unstructured":"Fernandes, F., Royer, J.-C.: The STSLib project: Towards a formal component model based on STS. Electr. Notes Theor. Comput. Sci.\u00a0215, 131\u2013149 (2008)","journal-title":"Electr. Notes Theor. Comput. Sci."},{"key":"1_CR14","first-page":"423","volume-title":"Proc. FMOODS","author":"C. Fischer","year":"1997","unstructured":"Fischer, C.: CSP-OZ: a combination of Object-Z and CSP. In: Bowman, H., Derrick, J. (eds.) Proc. FMOODS, Canterbury, UK, pp. 423\u2013438. Chapman and Hall, London (1997)"},{"key":"1_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"258","DOI":"10.1007\/3-540-19242-5_22","volume-title":"Conditional Term Rewriting Systems","author":"J.A. Goguen","year":"1988","unstructured":"Goguen, J.A., Kirchner, C., Kirchner, H., M\u00e9grelis, A., Meseguer, J., Winkler, T.C.: An Introduction to OBJ 3. In: Kaplan, S., Jouannaud, J.-P. (eds.) CTRS 1987. LNCS, vol.\u00a0308, pp. 258\u2013263. Springer, Heidelberg (1988)"},{"key":"1_CR16","unstructured":"Harel, D., Thiagarajan, P.S.: Message sequence charts. In: Lavagno, L., Martin, G., Selic, B. (eds.) UML for Real: Design of Embedded Real-time Systems. Kluwer Academic Publishers (2003)"},{"key":"1_CR17","doi-asserted-by":"publisher","first-page":"271","DOI":"10.1007\/BF00289507","volume":"1","author":"C.A.R. Hoare","year":"1972","unstructured":"Hoare, C.A.R.: Proof of correctness of data representations. Acta Inf.\u00a01, 271\u2013281 (1972)","journal-title":"Acta Inf."},{"key":"1_CR18","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":"1_CR19","doi-asserted-by":"crossref","unstructured":"Larsen, K.G., Thomsen, B.: A Modal Process Logic. In: 3rd Annual Symp. Logic in Computer Science, LICS 1988, pp. 203\u2013210. IEEE Computer Society (1988)","DOI":"10.1109\/LICS.1988.5119"},{"key":"1_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"153","DOI":"10.1007\/978-3-642-15640-3_11","volume-title":"Trustworthly Global Computing","author":"F. Montesi","year":"2010","unstructured":"Montesi, F., Sangiorgi, D.: A Model of Evolvable Components. In: Wirsing, M., Hofmann, M., Rauschmayer, A. (eds.) TGC 2010, LNCS, vol.\u00a06084, pp. 153\u2013171. Springer, Heidelberg (2010)"},{"issue":"1","key":"1_CR21","doi-asserted-by":"publisher","first-page":"111","DOI":"10.1016\/j.entcs.2009.09.031","volume":"253","author":"S. Mouelhi","year":"2009","unstructured":"Mouelhi, S., Chouali, S., Mountassir, H.: Refinement of interface automata strengthened by action semantics. Electr. Notes Theor. Comput. Sci.\u00a0253(1), 111\u2013126 (2009)","journal-title":"Electr. Notes Theor. Comput. Sci."},{"key":"1_CR22","doi-asserted-by":"publisher","first-page":"119","DOI":"10.1109\/ACSD.2009.22","volume-title":"9th Int. Conf. Application of Concurrency to System Design, ACSD 2009","author":"J.-B. Raclet","year":"2009","unstructured":"Raclet, J.-B., Badouel, E., Benveniste, A., Caillaud, B., Passerone, R.: Why Are Modalities Good for Interface Theories? In: 9th Int. Conf. Application of Concurrency to System Design, ACSD 2009, pp. 119\u2013127. IEEE Computer Society, Los Alamitos (2009)"},{"key":"1_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"451","DOI":"10.1007\/3-540-45614-7_26","volume-title":"FME 2002: Formal Methods - Getting IT Right","author":"A. Sampaio","year":"2002","unstructured":"Sampaio, A., Woodcock, J., Cavalcanti, A.: Refinement in Circus. In: Eriksson, L.-H., Lindsay, P.A. (eds.) FME 2002. LNCS, vol.\u00a02391, pp. 451\u2013470. Springer, Heidelberg (2002)"},{"key":"1_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"413","DOI":"10.1007\/3-540-12689-9_122","volume-title":"Foundations of Computation Theory","author":"D. Sannella","year":"1983","unstructured":"Sannella, D., Wirsing, M.: A Kernel Language for Algebraic Specification and Implementation. In: Karpinski, M. (ed.) FCT 1983. LNCS, vol.\u00a0158, pp. 413\u2013427. Springer, Heidelberg (1983)"},{"key":"1_CR25","doi-asserted-by":"crossref","unstructured":"Wirsing, M.: Algebraic Specification. In: van Leeuwen, J. (ed.) Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics (B), pp. 675\u2013788 (1990)","DOI":"10.1016\/B978-0-444-88074-1.50018-4"},{"key":"1_CR26","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"81","DOI":"10.1007\/BFb0014423","volume-title":"Recent Trends in Data Type Specification","author":"M. Wirsing","year":"1995","unstructured":"Wirsing, M.: Algebraic Specification Languages: An Overview. In: Astesiano, E., Reggio, G., Tarlecki, A. (eds.) Abstract Data Types 1994 and COMPASS 1994. LNCS, vol.\u00a0906, pp. 81\u2013115. Springer, Heidelberg (1995)"},{"key":"1_CR27","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"184","DOI":"10.1007\/3-540-45648-1_10","volume-title":"ZB 2002: Formal Specification and Development in Z and B","author":"J. Woodcock","year":"2002","unstructured":"Woodcock, J., Cavalcanti, A.: The semantics of Circus. In: Bert, D., Bowen, J.P., Henson, M.C., Robinson, K. (eds.) ZB 2002. LNCS, vol.\u00a02272, pp. 184\u2013203. Springer, Heidelberg (2002)"}],"container-title":["Lecture Notes in Computer Science","Recent Trends in Algebraic Development Techniques"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-28412-0_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,21]],"date-time":"2025-03-21T04:22:34Z","timestamp":1742530954000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-28412-0_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642284113","9783642284120"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-28412-0_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}