{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,18]],"date-time":"2025-10-18T20:51:04Z","timestamp":1760820664352,"version":"3.40.3"},"publisher-location":"Cham","reference-count":28,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319153162"},{"type":"electronic","value":"9783319153179"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-319-15317-9_1","type":"book-chapter","created":{"date-parts":[[2015,1,29]],"date-time":"2015-01-29T06:05:37Z","timestamp":1422511537000},"page":"3-23","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Components as Location Graphs"],"prefix":"10.1007","author":[{"given":"Jean-Bernard","family":"Stefani","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2015,1,30]]},"reference":[{"issue":"2","key":"1_CR1","doi-asserted-by":"publisher","first-page":"75","DOI":"10.1016\/j.scico.2005.10.008","volume":"61","author":"C Baier","year":"2006","unstructured":"Baier, C., Sirjani, M., Arbab, F., Rutten, J.J.M.M.: Modeling component connectors in reo by constraint automata. Sci. Comput. Program. 61(2), 75\u2013113 (2006)","journal-title":"Sci. Comput. Program."},{"issue":"5","key":"1_CR2","doi-asserted-by":"publisher","first-page":"459","DOI":"10.1109\/TSE.2003.1199074","volume":"29","author":"F Barbier","year":"2003","unstructured":"Barbier, F., Henderson-Sellers, B., Le Parc, A., Bruel, J.M.: Formalization of the whole-part relationship in the unified modeling language. IEEE Trans. Softw. Eng. 29(5), 459\u2013470 (2003)","journal-title":"IEEE Trans. Softw. Eng."},{"doi-asserted-by":"crossref","unstructured":"Bengtson, J., Johansson, M., Parrow, J., Victor, B.: Psi-calculi: a framework for mobile processes with nominal data and logic. Logical Meth. Comput. Sci. 7(1) (2011)","key":"1_CR3","DOI":"10.2168\/LMCS-7(1:11)2011"},{"key":"1_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"508","DOI":"10.1007\/978-3-540-85361-9_39","volume-title":"CONCUR 2008 - Concurrency Theory","author":"S Bliudze","year":"2008","unstructured":"Bliudze, S., Sifakis, J.: A notion of glue expressiveness for component-based systems. In: van Breugel, F., Chechik, M. (eds.) CONCUR 2008. LNCS, vol. 5201, pp. 508\u2013522. Springer, Heidelberg (2008)"},{"issue":"5","key":"1_CR5","doi-asserted-by":"publisher","first-page":"863","DOI":"10.1145\/234752.234756","volume":"43","author":"RN Bol","year":"1996","unstructured":"Bol, R.N., Groote, J.F.: The meaning of negative premises in transition system specifications. J. ACM 43(5), 863\u2013914 (1996)","journal-title":"J. ACM"},{"issue":"1","key":"1_CR6","doi-asserted-by":"publisher","first-page":"57","DOI":"10.1145\/963778.963781","volume":"26","author":"M Bugliesi","year":"2004","unstructured":"Bugliesi, M., Castagna, G., Crafa, S.: Access control for mobile agents: the calculus of boxed ambients. ACM Trans. Prog. Lang. Syst. 26(1), 57\u2013124 (2004)","journal-title":"ACM Trans. Prog. Lang. Syst."},{"issue":"1","key":"1_CR7","doi-asserted-by":"publisher","first-page":"177","DOI":"10.1016\/S0304-3975(99)00231-5","volume":"240","author":"L Cardelli","year":"2000","unstructured":"Cardelli, L., Gordon, A.: Mobile ambients. Theor. Comput. Sci. 240(1), 177\u2013213 (2000)","journal-title":"Theor. Comput. Sci."},{"issue":"2","key":"1_CR8","doi-asserted-by":"publisher","first-page":"136","DOI":"10.1016\/j.ic.2003.12.003","volume":"190","author":"GL Cattani","year":"2004","unstructured":"Cattani, G.L., Sewell, P.: Models for name-passing processes: interleaving and causal. Inf. Comput. 190(2), 136\u2013178 (2004)","journal-title":"Inf. Comput."},{"doi-asserted-by":"crossref","unstructured":"Cleaveland, R., L\u00fcttgen, G., Natarajan, V.: Priority in process algebra. In: Handbook of Process Algebra. Elsevier (2001)","key":"1_CR9","DOI":"10.1016\/B978-044482830-9\/50030-8"},{"key":"1_CR10","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511809088","volume-title":"Introduction to Lattices and Order","author":"BA Davey","year":"2002","unstructured":"Davey, B.A., Priestley, H.A.: Introduction to Lattices and Order, 2nd edn. Cambridge University Press, New York (2002)","edition":"2"},{"issue":"1\u20132","key":"1_CR11","doi-asserted-by":"publisher","first-page":"45","DOI":"10.1007\/s12243-008-0073-y","volume":"64","author":"PC David","year":"2009","unstructured":"David, P.C., Ledoux, T., L\u00e9ger, M., Coupaye, T.: Fpath and fscript: language support for navigation and reliable reconfiguration of fractal architectures. Ann. Telecommun. 64(1\u20132), 45\u201363 (2009)","journal-title":"Ann. Telecommun."},{"issue":"2","key":"1_CR12","doi-asserted-by":"publisher","first-page":"7:1","DOI":"10.1145\/2619998","volume":"9","author":"R De Nicola","year":"2014","unstructured":"De Nicola, R., Loreti, M., Pugliese, R., Tiezzi, F.: A formal approach to autonomic systems programming: the SCEL language. ACM Trans. Auton. Adapt. Syst. 9(2), 7:1\u20137:29 (2014)","journal-title":"ACM Trans. Auton. Adapt. Syst."},{"key":"1_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"16","DOI":"10.1007\/978-3-642-21464-6_2","volume-title":"Coordination Models and Languages","author":"C Di Giusto","year":"2011","unstructured":"Di Giusto, C., Stefani, J.-B.: Revisiting glue expressiveness in component-based systems. In: De Meuter, W., Roman, G.-C. (eds.) COORDINATION 2011. LNCS, vol. 6721, pp. 16\u201330. Springer, Heidelberg (2011)"},{"key":"1_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"22","DOI":"10.1007\/11804192_2","volume-title":"Formal Methods for Components and Objects","author":"G-L Ferrari","year":"2006","unstructured":"Ferrari, G.-L., Hirsch, D., Lanese, I., Montanari, U., Tuosto, E.: Synchronised hyperedge replacement as a model for service oriented computing. In: de Boer, F.S., Bonsangue, M.M., Graf, S., de Roever, W.-P. (eds.) FMCO 2005. LNCS, vol. 4111, pp. 22\u201343. Springer, Heidelberg (2006)"},{"issue":"2","key":"1_CR15","doi-asserted-by":"publisher","first-page":"349","DOI":"10.1007\/s10270-012-0236-1","volume":"12","author":"JL Fiadeiro","year":"2013","unstructured":"Fiadeiro, J.L., Lopes, A.: A model for dynamic reconfiguration in service-oriented architectures. Softw. Syst. Model. 12(2), 349\u2013367 (2013)","journal-title":"Softw. Syst. Model."},{"key":"1_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"389","DOI":"10.1007\/11561347_26","volume-title":"Generative Programming and Component Engineering","author":"D Hirschkoff","year":"2005","unstructured":"Hirschkoff, D., Hirschowitz, T., Pous, D., Schmitt, A., Stefani, J.-B.: Component-oriented programming with sharing: containment is not ownership. In: Gl\u00fcck, R., Lowry, M. (eds.) GPCE 2005. LNCS, vol. 3676, pp. 389\u2013404. Springer, Heidelberg (2005)"},{"issue":"6","key":"1_CR17","doi-asserted-by":"publisher","first-page":"42","DOI":"10.1109\/52.469759","volume":"12","author":"P Kruchten","year":"1995","unstructured":"Kruchten, P.: Architectural blueprints - the 4+1 view model of software architecture. IEEE Softw. 12(6), 42\u201350 (1995)","journal-title":"IEEE Softw."},{"issue":"1\u20132","key":"1_CR18","doi-asserted-by":"publisher","first-page":"123","DOI":"10.1017\/S147106840600281X","volume":"7","author":"I Lanese","year":"2007","unstructured":"Lanese, I., Montanari, U.: Mapping fusion and synchronized hyperedge replacement into logic programming. Theory Pract. Logic Program. 7(1\u20132), 123\u2013151 (2007)","journal-title":"Theory Pract. Logic Program."},{"issue":"11","key":"1_CR19","doi-asserted-by":"publisher","first-page":"1390","DOI":"10.1016\/j.ic.2011.08.002","volume":"209","author":"S Lenglet","year":"2011","unstructured":"Lenglet, S., Schmitt, A., Stefani, J.B.: Characterizing contextual equivalence in calculi with passivation. Inf. Comput. 209(11), 1390\u20131433 (2011)","journal-title":"Inf. Comput."},{"key":"1_CR20","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511626661","volume-title":"The Space and Motion of Communicating Agents","author":"R Milner","year":"2009","unstructured":"Milner, R.: The Space and Motion of Communicating Agents. Cambridge University Press, New York (2009)"},{"issue":"3","key":"1_CR21","doi-asserted-by":"publisher","first-page":"238","DOI":"10.1016\/j.tcs.2006.12.019","volume":"373","author":"MR Mousavi","year":"2007","unstructured":"Mousavi, M.R., Reniers, M.A., Groote, J.F.: SOS formats and meta-theory: 20 years after. Theor. Comput. Sci. 373(3), 238\u2013272 (2007)","journal-title":"Theor. Comput. Sci."},{"issue":"4","key":"1_CR22","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/1013886.1007514","volume":"29","author":"F Oquendo","year":"2004","unstructured":"Oquendo, F.: $$\\pi $$-ADL: an architecture description language based on the higher-order $$\\pi $$-calculus for specifying dynamic and mobile software architectures. ACM Softw. Eng. Notes 29(4), 1\u201314 (2004)","journal-title":"ACM Softw. Eng. Notes"},{"key":"1_CR23","doi-asserted-by":"crossref","first-page":"445","DOI":"10.3233\/FI-1990-13404","volume":"13","author":"TC Przymusinski","year":"1990","unstructured":"Przymusinski, T.C.: The well-founded semantics coincides with the three-valued stable semantics. Fundamenta Informaticae 13, 445\u2013464 (1990)","journal-title":"Fundamenta Informaticae"},{"key":"1_CR24","volume-title":"The $$\\pi $$-calculus: A Theory of Mobile Processes","author":"D Sangiorgi","year":"2001","unstructured":"Sangiorgi, D., Walker, D.: The $$\\pi $$-calculus: A Theory of Mobile Processes. Cambridge University Press, New York (2001)"},{"key":"1_CR25","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"146","DOI":"10.1007\/978-3-540-31794-4_9","volume-title":"Global Computing","author":"A Schmitt","year":"2005","unstructured":"Schmitt, A., Stefani, J.-B.: The kell calculus: a family of higher-order distributed process calculi. In: Priami, C., Quaglia, P. (eds.) GC 2004. LNCS, vol. 3267, pp. 146\u2013178. Springer, Heidelberg (2005)"},{"issue":"4","key":"1_CR26","doi-asserted-by":"publisher","first-page":"834","DOI":"10.1017\/S0960129512000278","volume":"23","author":"S Tripakis","year":"2013","unstructured":"Tripakis, S., Stergiou, C., Shaver, C., Lee, E.A.: A modular formal semantics for ptolemy. Math. Struct. Comput. Sci. 23(4), 834\u2013881 (2013)","journal-title":"Math. Struct. Comput. Sci."},{"key":"1_CR27","doi-asserted-by":"publisher","first-page":"229","DOI":"10.1016\/j.jlap.2004.03.007","volume":"60\u201361","author":"RJ van Glabbeek","year":"2004","unstructured":"van Glabbeek, R.J.: The meaning of negative premises in transition system specifications II. J. Log. Algebr. Program. 60\u201361, 229\u2013258 (2004)","journal-title":"J. Log. Algebr. Program."},{"issue":"2","key":"1_CR28","doi-asserted-by":"publisher","first-page":"133","DOI":"10.1016\/S0167-6423(02)00036-9","volume":"44","author":"M Wermelinger","year":"2002","unstructured":"Wermelinger, M., Fiadeiro, J.L.: A graph transformation approach to software architecture reconfiguration. Sci. Comput. Program. 44(2), 133\u2013155 (2002)","journal-title":"Sci. Comput. Program."}],"container-title":["Lecture Notes in Computer Science","Formal Aspects of Component Software"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-15317-9_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,20]],"date-time":"2023-02-20T20:03:47Z","timestamp":1676923427000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-15317-9_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319153162","9783319153179"],"references-count":28,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-15317-9_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2015]]},"assertion":[{"value":"30 January 2015","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}