{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,27]],"date-time":"2025-10-27T20:29:55Z","timestamp":1761596995716},"publisher-location":"Berlin, Heidelberg","reference-count":9,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540692713"},{"type":"electronic","value":"9783540692720"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11966104_3","type":"book-chapter","created":{"date-parts":[[2006,12,5]],"date-time":"2006-12-05T11:39:38Z","timestamp":1165318778000},"page":"17-32","source":"Crossref","is-referenced-by-count":10,"title":["Synthesis of Concurrent and Distributed Adaptors for Component-Based Systems"],"prefix":"10.1007","author":[{"given":"Marco","family":"Autili","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Michele","family":"Flammini","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Paola","family":"Inverardi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alfredo","family":"Navarra","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Massimo","family":"Tivoli","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"3_CR1","volume-title":"Component Software: Beyond Object-Oriented Programming","author":"C. Szyperski","year":"2004","unstructured":"Szyperski, C.: Component Software: Beyond Object-Oriented Programming. Addison-Wesley, Reading (2004)"},{"key":"3_CR2","first-page":"77","volume":"12","author":"M. Tivoli","year":"2006","unstructured":"Tivoli, M., Autili, M.: Synthesis: a tool for synthesizing \u201ccorrect\u201d and protocol-enhanced adaptors. RSTI L\u2019Objet journal\u00a012, 77\u2013103 (2006)","journal-title":"RSTI L\u2019Objet journal"},{"key":"3_CR3","volume-title":"Communication and Concurrency","author":"R. Milner","year":"1989","unstructured":"Milner, R.: Communication and Concurrency. Prentice Hall, New York (1989)"},{"key":"3_CR4","volume-title":"Principles of concurrent and distributed programming","author":"M. Ben-Ari","year":"1990","unstructured":"Ben-Ari, M.: Principles of concurrent and distributed programming. Prentice-Hall, Englewood Cliffs (1990)"},{"issue":"7","key":"3_CR5","doi-asserted-by":"publisher","first-page":"558","DOI":"10.1145\/359545.359563","volume":"21","author":"L. Lamport","year":"1978","unstructured":"Lamport, L.: Time, clocks, and the ordering of events in a distributed system. Commun. ACM\u00a021(7), 558\u2013565 (1978)","journal-title":"Commun. ACM"},{"key":"3_CR6","doi-asserted-by":"crossref","unstructured":"Inverardi, P., Mostarda, L., Tivoli, M., Autili, M.: Synthesis of correct and distributed adaptors for component-based systems: an automatic approach. In: Proc. of 20th IEEE\/ACM International Conference on Automated Software Engineering (ASE), Long Beach, CA, USA (2005)","DOI":"10.1145\/1101908.1101981"},{"key":"3_CR7","doi-asserted-by":"crossref","unstructured":"Passerone, R., de Alfaro, L., Heinzinger, T., Sangiovanni-Vincentelli, A.L.: Convertibility verification and converter synthesis: Two faces of the same coin. In: Proc. of International Conference on Computer Aided Design (ICCAD), San Jose, CA, USA (2002)","DOI":"10.1145\/774572.774592"},{"issue":"2","key":"3_CR8","doi-asserted-by":"publisher","first-page":"292","DOI":"10.1145\/244795.244801","volume":"19","author":"D. Yellin","year":"1997","unstructured":"Yellin, D., Strom, R.: Protocol specifications and component adaptors. ACM Trans. on Programming Languages and Systems\u00a019(2), 292\u2013333 (1997)","journal-title":"ACM Trans. on Programming Languages and Systems"},{"key":"3_CR9","doi-asserted-by":"crossref","unstructured":"Sen, K., Vardhan, A., Agha, G., Rosu, G.: Efficient decentralized monitoring of safety in distributed systems. In: Proc. of International Conference on Software Engineering (ICSE), Edinburgh - UK (2004)","DOI":"10.1109\/ICSE.2004.1317464"}],"container-title":["Lecture Notes in Computer Science","Software Architecture"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11966104_3.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T07:23:33Z","timestamp":1619508213000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11966104_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540692713","9783540692720"],"references-count":9,"URL":"https:\/\/doi.org\/10.1007\/11966104_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}