{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,27]],"date-time":"2025-10-27T20:52:38Z","timestamp":1761598358108},"reference-count":20,"publisher":"Springer Science and Business Media LLC","issue":"7-8","license":[{"start":{"date-parts":[[2005,8,1]],"date-time":"2005-08-01T00:00:00Z","timestamp":1122854400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2005,8,1]],"date-time":"2005-08-01T00:00:00Z","timestamp":1122854400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Ann. T\u00e9l\u00e9commun."],"published-print":{"date-parts":[[2005,8]]},"DOI":"10.1007\/bf03219957","type":"journal-article","created":{"date-parts":[[2021,7,7]],"date-time":"2021-07-07T06:33:22Z","timestamp":1625639602000},"page":"989-1022","source":"Crossref","is-referenced-by-count":4,"title":["Assembling components with behavioural contracts"],"prefix":"10.1007","volume":"60","author":[{"given":"Cyril","family":"Carrez","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alessandro","family":"Fantechi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Elie","family":"Najm","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"BF03219957_CR1","doi-asserted-by":"publisher","first-page":"507","DOI":"10.1145\/203095.201069","volume":"3","author":"(M.) Abadi","year":"1995","unstructured":"Abadi (M.), Lamport (L.), Conjoining specifications.Acm Transactions on Programming Languages and Systems 17, 3 (May 1995), pp. 507\u2013535.","journal-title":"Acm Transactions on Programming Languages and Systems 17"},{"key":"BF03219957_CR2","unstructured":"Carrez (C).Contrats Comportementaux pour Composants, PhD thesis,Enst, Paris, France, Dec. 2003."},{"key":"BF03219957_CR3","doi-asserted-by":"crossref","unstructured":"Carrez (C),Fantechi (A.),Najm (E.), Behavioural contracts for a sound composition of components. InFORTE 2003, vol. 2767 ofLncs, Springer-Verlag, Sep. 2003.","DOI":"10.1007\/978-3-540-39979-7_8"},{"key":"BF03219957_CR4","unstructured":"Carrez (C),Fantechi (A.),Najm (E.), Contrats comportementaux pour un assemblage sain de composants. In Colloque Francophone sur l\u2019Ing\u00e9nierie des Protocoles (Cfip 2003) (Paris, France, Oct. 2003). French version of [3]."},{"key":"BF03219957_CR5","unstructured":"Colin (M.).Analyse Statique de la communication dans un langage d\u2019acteur fonctionnel, PhDthesis, Instituqt National Polytechnique de Toulouse, Dec. 2002."},{"key":"BF03219957_CR6","doi-asserted-by":"crossref","unstructured":"Colin (M.), TuiRloux (X.),Pantel (M.), Temporal logic based static analysis for non-uniform behaviours, InFmoods\n                  2003, vol. 2884 ofLncs, Springer-Verlag, Nov. 2003.","DOI":"10.1007\/978-3-540-39958-2_7"},{"key":"BF03219957_CR7","doi-asserted-by":"crossref","unstructured":"De Alfaro (L.),Henzinger (T. A.). Interface automata. InEsec\/fse-01 (2001), vol. 26,5 ofSOFTWARE ENGINEERING NOTES,Acm Press.","DOI":"10.1145\/503271.503226"},{"key":"BF03219957_CR8","unstructured":"Flocft (J.).Towards Plug-and-Play Services: Design and Validation using Roles, PhD thesis,Ntnu, Trondheim, Norway, Feb. 2003."},{"key":"BF03219957_CR9","doi-asserted-by":"crossref","unstructured":"Hennessy (M.),Riely (J.), Resource access control in systems of mobile agents,Infctrl: Information and Computation (formerly Information and Control) 173 (2002).","DOI":"10.1006\/inco.2001.3089"},{"key":"BF03219957_CR10","unstructured":"Henzinger (T. A.),Qadeer (S.),Rajamani (S. K.), Decomposing refinement proofs using Assume-Guarantee reasoning, In Computer Aided Design (Iccad-2000), Proceedings. (Nov. 2000),Ieee Computer Society Press."},{"key":"BF03219957_CR11","unstructured":"Jiang (S.),Carrez (C),Aagesen (F. A.), Automatic translation of service specification to a behavioral type language for dynamic service verification, InRapid Integration of Software Engineering techniques RISE 2004, Proceedings (Luxembourg, Nov. 2004), pp. 31\u201340."},{"key":"BF03219957_CR12","doi-asserted-by":"crossref","unstructured":"Kobayashi (N.), A type system for lock-free processes,Infctrl:Information and Computa-tion (fo merly Information and Control) 177 (2002).","DOI":"10.1016\/S0890-5401(02)93171-8"},{"key":"BF03219957_CR13","doi-asserted-by":"crossref","unstructured":"Kobayashi (N.),Pierce (B. C),Turner (D. N.), Linearity and the Pi-Calculus,Acm Transactions on Programming Languages and Systems 21, 5 (1999).","DOI":"10.1145\/330249.330251"},{"key":"BF03219957_CR14","doi-asserted-by":"crossref","unstructured":"Larsen (K.),Steffen (B.),Weise (C), A constraint oriented proof methodology based on modal transition sytem,. InTools and Algorithms for Construction and Analysis of Systems,Tacas\u201995 (1995), vol. 1019 ofLncs.","DOI":"10.1007\/3-540-60630-0_2"},{"key":"BF03219957_CR15","doi-asserted-by":"publisher","first-page":"1811","DOI":"10.1145\/197320.197383","volume":"1","author":"(B. H.) Liskov","year":"1994","unstructured":"Liskov (B. H.), Wing (J. M.). A behavioral notion of subtyping,Acm Trans. Prog. Lang, and Sys. 16, 1 (Nov. 1994), pp. 1811\u20131841.","journal-title":"Acm Trans. Prog. Lang, and Sys. 16"},{"key":"BF03219957_CR16","doi-asserted-by":"crossref","first-page":"417","DOI":"10.1109\/TSE.1981.230844","volume":"4","author":"(J.) Misra","year":"1981","unstructured":"Misra (J.), Chandy (K. M), Proofs of networks of processes,IeeeTransactions on Software Engineering 7, 4 (July 1981), pp. 417\u2013426.","journal-title":"IeeeTransactions on Software Engineering 7"},{"key":"BF03219957_CR17","doi-asserted-by":"crossref","unstructured":"Najm (E.),Nimour (A.),Stefani (J.-B.), Infinite types for distributed objects interfaces, InFmoods\u201999 (Firenze, Italy, Feb. 1999), Kluwer.","DOI":"10.1007\/978-0-387-35562-7_28"},{"key":"BF03219957_CR18","unstructured":"Nierstrasz (O.), Regular types for active objects, InObject-Oriented Software Composition, Prentice-Hall, 1995, pp. 99\u2013121."},{"key":"BF03219957_CR19","doi-asserted-by":"crossref","unstructured":"Ravara (A.),Vasconcelos (V. T.), Typing non-uniform concurrent objects, InConcur 2000 (2000), vol. 1877 ofLncs, Springer, pp. 474\u2013488.","DOI":"10.1007\/3-540-44618-4_34"},{"key":"BF03219957_CR20","doi-asserted-by":"crossref","unstructured":"Vasconcelos (V. T.),Ravara (A.),Gay (S.), Session types for functional multithreading, InConcur 2004 (Sep. 2004), vol. 3170 ofLncs, Springer-Verlag.","DOI":"10.1007\/978-3-540-28644-8_32"}],"container-title":["Annales Des T\u00e9l\u00e9communications"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/BF03219957.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/BF03219957\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/BF03219957.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,7,7]],"date-time":"2021-07-07T07:19:47Z","timestamp":1625642387000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/BF03219957"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005,8]]},"references-count":20,"journal-issue":{"issue":"7-8","published-print":{"date-parts":[[2005,8]]}},"alternative-id":["BF03219957"],"URL":"https:\/\/doi.org\/10.1007\/bf03219957","relation":{},"ISSN":["0003-4347","1958-9395"],"issn-type":[{"value":"0003-4347","type":"print"},{"value":"1958-9395","type":"electronic"}],"subject":[],"published":{"date-parts":[[2005,8]]}}}