{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:24:26Z","timestamp":1761611066865},"reference-count":35,"publisher":"Elsevier BV","issue":"2","license":[{"start":{"date-parts":[[2001,10,1]],"date-time":"2001-10-01T00:00:00Z","timestamp":1001894400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2013,7,17]],"date-time":"2013-07-17T00:00:00Z","timestamp":1374019200000},"content-version":"vor","delay-in-days":4307,"URL":"https:\/\/www.elsevier.com\/open-access\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Science of Computer Programming"],"published-print":{"date-parts":[[2001,10]]},"DOI":"10.1016\/s0167-6423(01)00002-8","type":"journal-article","created":{"date-parts":[[2002,10,31]],"date-time":"2002-10-31T21:12:04Z","timestamp":1036098724000},"page":"105-138","source":"Crossref","is-referenced-by-count":68,"title":["Compatibility and inheritance in software architectures"],"prefix":"10.1016","volume":"41","author":[{"given":"Carlos","family":"Canal","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ernesto","family":"Pimentel","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jos\u00e9 M.","family":"Troya","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"key":"10.1016\/S0167-6423(01)00002-8_BIB1","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0890-5401(92)90008-4","article-title":"A calculus of mobile processes","volume":"100","author":"Milner","year":"1992","journal-title":"J. Inform. Comput."},{"key":"10.1016\/S0167-6423(01)00002-8_BIB2","series-title":"TOOLS Europe 2000","first-page":"208","article-title":"Extending CORBA interfaces with \u03c0-calculus for protocol compatibility","author":"Canal","year":"2000"},{"key":"10.1016\/S0167-6423(01)00002-8_BIB3","doi-asserted-by":"crossref","unstructured":"B. Victor, A verification tool for the polyadic \u03c0-calculus, Master's Thesis, Department of Computer Systems, Uppsala University, May, 1994.","DOI":"10.1007\/3-540-58179-0_73"},{"key":"10.1016\/S0167-6423(01)00002-8_BIB4","first-page":"4","article-title":"Special issue on software architecture","volume":"21","author":"Garlan","year":"1995","journal-title":"IEEE Trans. Software Eng."},{"key":"10.1016\/S0167-6423(01)00002-8_BIB5","series-title":"Software Architecture. Perspectives of an Emerging Discipline","author":"Shaw","year":"1996"},{"issue":"3","key":"10.1016\/S0167-6423(01)00002-8_BIB6","doi-asserted-by":"crossref","first-page":"213","DOI":"10.1145\/258077.258078","article-title":"A formal basis for architectural connection","volume":"6","author":"Allen","year":"1997","journal-title":"ACM Trans. Software Eng. Methodol."},{"key":"10.1016\/S0167-6423(01)00002-8_BIB7","unstructured":"C. Canal, E. Pimentel, J. Troya, On the composition and extension of software systems, FSE\u201997 Workshop on Foundations of Component-Based Systems, Zurich, Switzerland, 1997, pp. 50\u201359."},{"issue":"2","key":"10.1016\/S0167-6423(01)00002-8_BIB8","doi-asserted-by":"crossref","first-page":"262","DOI":"10.1145\/210376.210389","article-title":"Research directions in software composition","volume":"27","author":"Nierstrasz","year":"1995","journal-title":"ACM Comput. Surveys"},{"key":"10.1016\/S0167-6423(01)00002-8_BIB9","doi-asserted-by":"crossref","unstructured":"C. Canal, E. Pimentel, J. Troya, Specification and refinement of dynamic software architectures, in: P. Donohoe (Ed.), Software Architecture, Kluwer Academic Publishers, 1999, pp. 107\u2013126.","DOI":"10.1007\/978-0-387-35563-4_7"},{"key":"10.1016\/S0167-6423(01)00002-8_BIB10","unstructured":"R. Milner, The Polyadic \u03c0-calculus. a tutorial, Tech. Rep., University of Edinburgh, October, 1991."},{"key":"10.1016\/S0167-6423(01)00002-8_BIB11","doi-asserted-by":"crossref","unstructured":"D. Sangiorgi, A theory of bisimulation for the \u03c0-calculus, Tech. Rep. ECS-LFCS-93-270, University of Edinburgh, June, 1993.","DOI":"10.1007\/3-540-57208-2_10"},{"key":"10.1016\/S0167-6423(01)00002-8_BIB12","first-page":"38","article-title":"A partition refinement algorithm for the \u03c0-calculus","volume":"vol. 1102","author":"Pistore","year":"1996"},{"issue":"1","key":"10.1016\/S0167-6423(01)00002-8_BIB13","doi-asserted-by":"crossref","first-page":"147","DOI":"10.1145\/147508.147527","article-title":"Termination, deadlock, and divergence","volume":"39","author":"Aceto","year":"1992","journal-title":"J. ACM"},{"key":"10.1016\/S0167-6423(01)00002-8_BIB14","unstructured":"G. Boudol, Notes on algebraic calculi of processes, in: Logics and Models of Concurrent Systems, NATO ASI Series, vol. 13, K.Apt, 1987."},{"key":"10.1016\/S0167-6423(01)00002-8_BIB15","series-title":"Communication and Concurrency","author":"Milner","year":"1989"},{"key":"10.1016\/S0167-6423(01)00002-8_BIB16","unstructured":"C. Canal, E. Pimentel, J. Troya, Specification of interacting software components: a case study, in: O. Pastor, C. Gonz\u00e1lez, I. Trejos, E. Insfr\u00e1n (Eds.), II Jornadas Iberoamericanas de Ingenieria de Requisitos y Ambientes Software (IDEAS\u201999), San Jos\u00e9, Costa Rica, 1999, pp. 381\u2013392."},{"issue":"4","key":"10.1016\/S0167-6423(01)00002-8_BIB17","doi-asserted-by":"crossref","first-page":"314","DOI":"10.1109\/32.385970","article-title":"Abstractions for software architecture and tools to support them","volume":"21","author":"Shaw","year":"1995","journal-title":"IEEE Trans. Software Eng."},{"key":"10.1016\/S0167-6423(01)00002-8_BIB18","doi-asserted-by":"crossref","unstructured":"R. Allen, D. Garlan, Formalizing architectural connection, 16th International Conference on Software Engineering (ICSE\u201994), Sorrento, Italy, 1994, pp. 71\u201380.","DOI":"10.1109\/ICSE.1994.296767"},{"key":"10.1016\/S0167-6423(01)00002-8_BIB19","unstructured":"N. Medvidovic, D.S. Rosenblum, Domains of concern in software architectures and architecture description languages, USENIX Conf. on Domain-Specific Languages, Santa Barbara, USA, 1997."},{"issue":"1","key":"10.1016\/S0167-6423(01)00002-8_BIB20","doi-asserted-by":"crossref","first-page":"70","DOI":"10.1109\/32.825767","article-title":"A classification and comparison framework for software architecture description languages","volume":"26","author":"Medvidovic","year":"2000","journal-title":"IEEE Trans. Software Eng."},{"key":"10.1016\/S0167-6423(01)00002-8_BIB21","doi-asserted-by":"crossref","unstructured":"J. Magee, J. Kramer, Dynamic structure in software architectures, in: D. Garlan (Ed.), ACM Foundations of Software Engineering (FSE\u201996), San Francisco, USA, 1996, pp. 3\u201314.","DOI":"10.1145\/239098.239104"},{"issue":"2\u20133","key":"10.1016\/S0167-6423(01)00002-8_BIB22","first-page":"179","article-title":"The discrete time toolbus \u2013 a software coordination architecture","volume":"31","author":"Bergstra","year":"1998","journal-title":"Sci. Comput. Programming"},{"issue":"4","key":"10.1016\/S0167-6423(01)00002-8_BIB23","doi-asserted-by":"crossref","first-page":"373","DOI":"10.1109\/32.385973","article-title":"Formal specification and analysis of software architectures using the chemical abstract machine model","volume":"21","author":"Inverardi","year":"1995","journal-title":"IEEE Trans. Software Eng."},{"issue":"2\u20133","key":"10.1016\/S0167-6423(01)00002-8_BIB24","first-page":"205","article-title":"A logic for a coordination model with multiple spaces","volume":"31","author":"Ciancarini","year":"1998","journal-title":"Sci. Comput. Programming"},{"key":"10.1016\/S0167-6423(01)00002-8_BIB25","doi-asserted-by":"crossref","unstructured":"G. Abowd, R. Allen, D. Garlan, Using style to understand descriptions of software architecture, in: D. Notkin (Ed.), ACM Foundations of Software Engineering (FSE\u201993), 1993.","DOI":"10.1145\/256428.167055"},{"issue":"4","key":"10.1016\/S0167-6423(01)00002-8_BIB26","doi-asserted-by":"crossref","first-page":"336","DOI":"10.1109\/32.385971","article-title":"Specification and analysis of system architecture using rapide","volume":"21","author":"Luckham","year":"1995","journal-title":"IEEE Trans. Software Eng."},{"issue":"7","key":"10.1016\/S0167-6423(01)00002-8_BIB27","first-page":"215","article-title":"Describing software architecture styles using graph grammars","volume":"24","author":"LeM\u00e9tayer","year":"1998","journal-title":"IEEE Trans. Software Eng."},{"key":"10.1016\/S0167-6423(01)00002-8_BIB28","doi-asserted-by":"crossref","unstructured":"J. Magee, S. Eisenbach, J. Kramer, Modeling darwin in the \u03c0-calculus, in: A. Schiper, F. Mattern, K.P. Birman (Eds.), Theory and Practice in Distributed Systems, Lecture Notes in Computer Science, vol. 938, Springer, 1995, pp. 133\u2013152.","DOI":"10.1007\/3-540-60042-6_10"},{"key":"10.1016\/S0167-6423(01)00002-8_BIB29","doi-asserted-by":"crossref","unstructured":"J. Magee, J. Kramer, D. Giannakopoulou, Behaviour analysis of software architectures, in: P. Donohoe (Ed.), Software Architecture, Kluwer Academic Publishers, 1999, pp. 35\u201349.","DOI":"10.1007\/978-0-387-35563-4_3"},{"issue":"1","key":"10.1016\/S0167-6423(01)00002-8_BIB30","doi-asserted-by":"crossref","first-page":"7","DOI":"10.1023\/A:1008645800955","article-title":"Behaviour analysis of distributed systems using the tracta approach","volume":"6","author":"Giannakopoulou","year":"1999","journal-title":"J. Automated Software Eng."},{"key":"10.1016\/S0167-6423(01)00002-8_BIB31","doi-asserted-by":"crossref","unstructured":"R. Allen, R. Doucence, D. Garlan, Specifying and analyzing dynamic software architectures, ETAPS\u201998, Lisbon, Portugal, 1998.","DOI":"10.1007\/BFb0053581"},{"issue":"2","key":"10.1016\/S0167-6423(01)00002-8_BIB32","doi-asserted-by":"crossref","first-page":"101","DOI":"10.1016\/S0167-6423(98)00006-9","article-title":"Uncovering architectural mismatch in component behavior","volume":"33","author":"Compare","year":"1999","journal-title":"Sci. Comput. Programming"},{"issue":"2","key":"10.1016\/S0167-6423(01)00002-8_BIB33","doi-asserted-by":"crossref","first-page":"292","DOI":"10.1145\/244795.244801","article-title":"Protocol specifications and components adaptors","volume":"19","author":"Yellin","year":"1997","journal-title":"ACM Trans. Programming Languages Systems"},{"issue":"2","key":"10.1016\/S0167-6423(01)00002-8_BIB34","doi-asserted-by":"crossref","first-page":"179","DOI":"10.1006\/inco.1994.1096","article-title":"Adding action refinement to a finite process algebra","volume":"115","author":"Aceto","year":"1994","journal-title":"Inform. Comput."},{"key":"10.1016\/S0167-6423(01)00002-8_BIB35","unstructured":"R. Gorrieri, A. Rensik, Action refinement as an implementation relation, in: M. Dauchet, M. Bidoit (Eds.), FASE\u201997, Lecture Notes in Computer Science, vol. 1214, Springer, Berlin, 1997, 772\u2013786."}],"container-title":["Science of Computer Programming"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0167642301000028?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0167642301000028?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2020,1,13]],"date-time":"2020-01-13T10:42:33Z","timestamp":1578912153000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0167642301000028"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001,10]]},"references-count":35,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2001,10]]}},"alternative-id":["S0167642301000028"],"URL":"https:\/\/doi.org\/10.1016\/s0167-6423(01)00002-8","relation":{},"ISSN":["0167-6423"],"issn-type":[{"value":"0167-6423","type":"print"}],"subject":[],"published":{"date-parts":[[2001,10]]}}}