{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,18]],"date-time":"2025-10-18T20:45:24Z","timestamp":1760820324263,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642214639"},{"type":"electronic","value":"9783642214646"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011]]},"DOI":"10.1007\/978-3-642-21464-6_2","type":"book-chapter","created":{"date-parts":[[2011,6,7]],"date-time":"2011-06-07T06:55:55Z","timestamp":1307429755000},"page":"16-30","source":"Crossref","is-referenced-by-count":5,"title":["Revisiting Glue Expressiveness in Component-Based Systems"],"prefix":"10.1007","author":[{"given":"Cinzia","family":"Di Giusto","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jean-Bernard","family":"Stefani","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"2_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"242","DOI":"10.1007\/978-3-642-00596-1_18","volume-title":"Foundations of Software Science and Computational Structures","author":"J. Aranda","year":"2009","unstructured":"Aranda, J., Valencia, F., Versari, C.: On the expressive power of restriction and priorities in CCS with replication. In: de Alfaro, L. (ed.) FOSSACS 2009. LNCS, vol.\u00a05504, pp. 242\u2013256. Springer, Heidelberg (2009)"},{"issue":"10","key":"2_CR2","doi-asserted-by":"publisher","first-page":"1315","DOI":"10.1109\/TC.2008.26","volume":"57","author":"S. Bliudze","year":"2008","unstructured":"Bliudze, S., Sifakis, J.: The algebra of connectors - structuring interaction in bip. IEEE Trans. Computers\u00a057(10), 1315\u20131330 (2008)","journal-title":"IEEE Trans. Computers"},{"key":"2_CR3","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.\u00a05201, pp. 508\u2013522. Springer, Heidelberg (2008)"},{"key":"2_CR4","unstructured":"Cleaveland, R., L\u00fcttgen, G., Natarajan, V.: Priority in process algebra. Technical report, Nasa (1999)"},{"key":"2_CR5","doi-asserted-by":"crossref","unstructured":"Di Giusto, C., Gabbrielli, M., Meo, M.C.: On the expressive power of multiple heads in chr. To appear in ACM Transactions on Computational Logic (2010)","DOI":"10.1007\/978-3-540-95891-8_21"},{"key":"2_CR6","first-page":"244","volume":"52","author":"J. Esparza","year":"1994","unstructured":"Esparza, J., Nielsen, M.: Decidability issues for petri nets - a survey. Bulletin of the EATCS\u00a052, 244\u2013262 (1994)","journal-title":"Bulletin of the EATCS"},{"key":"2_CR7","unstructured":"Hoare, C.A.R.: Communicating Sequential Processes. Prentice Hall International Series in Computer Science (1985)"},{"key":"2_CR8","first-page":"382","volume-title":"LICS 2010","author":"C. Laneve","year":"2010","unstructured":"Laneve, C., Vitale, A.: The expressive power of synchronizations. In: LICS 2010, pp. 382\u2013391. IEEE Computer Society, Washington, DC (2010)"},{"key":"2_CR9","doi-asserted-by":"crossref","unstructured":"Maraninchi, F., R\u00e9mond, Y.: Mode-automata: a new domain-specific construct for the development of safe critical systems. Sci. Comput. Program\u00a046(3) (2003)","DOI":"10.1016\/S0167-6423(02)00093-X"},{"key":"2_CR10","volume-title":"Computation: Finite and Infinite Machines","author":"M. Minsky","year":"1967","unstructured":"Minsky, M.: Computation: Finite and Infinite Machines. Prentice-Hall, Englewood Cliffs (1967)"},{"issue":"1","key":"2_CR11","doi-asserted-by":"publisher","first-page":"139","DOI":"10.1016\/j.jlap.2007.06.005","volume":"75","author":"I. Phillips","year":"2008","unstructured":"Phillips, I.: CCS with priority guards. J. Log. Algebr. Progr.\u00a075(1), 139\u2013165 (2008)","journal-title":"J. Log. Algebr. Progr."},{"key":"2_CR12","doi-asserted-by":"publisher","first-page":"1161","DOI":"10.1017\/S0960129509990168","volume":"19","author":"C. Versari","year":"2009","unstructured":"Versari, C., Busi, N., Gorrieri, R.: An expressiveness study of priority in process calculi. Mathematical. Structures in Comp. Sci.\u00a019, 1161\u20131189 (2009)","journal-title":"Mathematical. Structures in Comp. Sci."}],"container-title":["Lecture Notes in Computer Science","Coordination Models and Languages"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-21464-6_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,11,24]],"date-time":"2021-11-24T18:26:06Z","timestamp":1637778366000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-21464-6_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642214639","9783642214646"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-21464-6_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}