{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,25]],"date-time":"2026-02-25T13:02:48Z","timestamp":1772024568918,"version":"3.50.1"},"publisher-location":"Boston","reference-count":14,"publisher":"Kluwer Academic Publishers","isbn-type":[{"value":"1402081405","type":"print"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/1-4020-8141-3_29","type":"book-chapter","created":{"date-parts":[[2006,2,21]],"date-time":"2006-02-21T15:15:11Z","timestamp":1140534911000},"page":"367-380","source":"Crossref","is-referenced-by-count":4,"title":["New Insights on Architectural Connectors"],"prefix":"10.1007","author":[{"given":"Roberto","family":"Bruni","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jos\u00e9 Luiz","family":"Fiadeiro","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ivan","family":"Lanese","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ant\u00f3nia","family":"Lopes","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ugo","family":"Montanari","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"3","key":"29_CR1","doi-asserted-by":"publisher","first-page":"213","DOI":"10.1145\/258077.258078","volume":"6","author":"R. Allen","year":"1997","unstructured":"R. Allen and D. Garlan. A formal basis for architectural connectors. ACM Transactions on Software Engineering and Methodology, 6(3):213\u2013249, 1997.","journal-title":"ACM Transactions on Software Engineering and Methodology"},{"key":"29_CR2","unstructured":"L. Andrade et al. AGILE: Software architecture for mobility. Proc. of WADT 2002, LNCS 2755, pp. 1\u201333. Springer Verlag, 2003."},{"key":"29_CR3","doi-asserted-by":"crossref","unstructured":"K. Chandy and J. Misra. Parallel program design: a foundation. Addison-Wesley, 1988.","DOI":"10.1007\/978-1-4613-9668-0_6"},{"key":"29_CR4","doi-asserted-by":"publisher","first-page":"51","DOI":"10.1016\/0304-3975(92)90087-V","volume":"103","author":"A. Corradini","year":"1992","unstructured":"A. Corradini and U. Montanari. An algebraic semantics for structured transition systems and its application to logic programs. Theoret. Comput. Sci., 103:51\u2013106, 1992.","journal-title":"Theoret. Comput. Sci."},{"key":"29_CR5","first-page":"190","volume":"2793","author":"J.L. Fiadeiro","year":"2003","unstructured":"J.L. Fiadeiro, A. Lopes, and M. Wermelinger. A mathematical semantics for architectural connectors. Generic Programming, LNCS 2793, pp. 190\u2013234. Springer Verlag, 2003.","journal-title":"LNCS"},{"key":"29_CR6","doi-asserted-by":"publisher","first-page":"111","DOI":"10.1016\/S0167-6423(96)00025-1","volume":"28","author":"J.L. Fiadeiro","year":"1997","unstructured":"J.L. Fiadeiro and T. Maibaum. Categorical semantics of parallel program design. Science of Computer Programming, 28:111\u2013138, 1997.","journal-title":"Science of Computer Programming"},{"key":"29_CR7","doi-asserted-by":"crossref","unstructured":"F. Gadducci and U, Montanari. The tile model. Proof, Language and Interaction: Essays in Honour of Robin Milner, pp. 133\u2013166. MIT Press, 2000.","DOI":"10.7551\/mitpress\/5641.003.0010"},{"key":"29_CR8","unstructured":"J. Goguen. Categorical foundations for general systems theory. Advances in Cybernetics and Systems Research, pp. 121\u2013130. Transcripta Books, 1973."},{"key":"29_CR9","unstructured":"C.A.R. Hoare. Communicating Sequential Processes. International Series in Computer Science. Prentice-Hall, 1985."},{"key":"29_CR10","doi-asserted-by":"crossref","unstructured":"K.G. Larsen and L. Xinxin. Compositionality through an operational semantics of contexts. Proc. of ICALP\u201990, LNCS 443, pp. 526\u2013539. Springer Verlag, 1990.","DOI":"10.1007\/BFb0032056"},{"key":"29_CR11","doi-asserted-by":"crossref","first-page":"869","DOI":"10.1073\/pnas.50.5.869","volume":"50","author":"F.W. Lawvere","year":"1963","unstructured":"F.W. Lawvere. Functorial semantics of algebraic theories. Proc. National Academy of Sciences, 50:869\u2013872, 1963.","journal-title":"Proc. National Academy of Sciences"},{"key":"29_CR12","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1016\/0304-3975(92)90182-F","volume":"96","author":"J. Meseguer","year":"1992","unstructured":"J. Meseguer. Conditional rewriting logic as a unified model of concurrency. Theoret. Comput. Sci., 96:73\u2013155, 1992.","journal-title":"Theoret. Comput. Sci."},{"key":"29_CR13","unstructured":"R. Milner. A calculus of communicating systems. LNCS 92. Springer Verlag, 1989."},{"key":"29_CR14","unstructured":"G. D. Plotkin. A structural approach to operational semantics. Technical Report DAIMI FN-19, Aarhus University, 1981."}],"container-title":["IFIP International Federation for Information Processing","Exploring New Frontiers of Theoretical Informatics"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/1-4020-8141-3_29.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,2,3]],"date-time":"2024-02-03T01:35:25Z","timestamp":1706924125000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/1-4020-8141-3_29"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["1402081405"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/1-4020-8141-3_29","relation":{},"subject":[]}}