{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,6]],"date-time":"2025-11-06T20:03:26Z","timestamp":1762459406373,"version":"3.40.3"},"publisher-location":"Cham","reference-count":15,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319395692"},{"type":"electronic","value":"9783319395708"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"content-version":"vor","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":[[2016]]},"DOI":"10.1007\/978-3-319-39570-8_12","type":"book-chapter","created":{"date-parts":[[2016,5,24]],"date-time":"2016-05-24T05:04:10Z","timestamp":1464066250000},"page":"175-194","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":8,"title":["A Theory for the Composition of Concurrent Processes"],"prefix":"10.1007","author":[{"given":"Ludovic","family":"Henrio","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Eric","family":"Madelaine","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Min","family":"Zhang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2016,5,24]]},"reference":[{"key":"12_CR1","doi-asserted-by":"publisher","first-page":"245","DOI":"10.1016\/0304-3975(85)90093-3","volume":"37","author":"R De Simone","year":"1985","unstructured":"De Simone, R.: Higher-level synchronising devices in MEIJE-SCCS. Theor. Comput. Sci. 37, 245\u2013267 (1985)","journal-title":"Theor. Comput. Sci."},{"key":"12_CR2","doi-asserted-by":"publisher","first-page":"184","DOI":"10.1016\/0304-3975(87)90007-7","volume":"49","author":"KG Larsen","year":"1987","unstructured":"Larsen, K.G.: A context dependent equivalence between processes. Theor. Comput. Sci. 49, 184\u2013215 (1987)","journal-title":"Theor. Comput. Sci."},{"issue":"2","key":"12_CR3","doi-asserted-by":"publisher","first-page":"353","DOI":"10.1016\/0304-3975(94)00172-F","volume":"138","author":"M Hennessy","year":"1995","unstructured":"Hennessy, M., Lin, H.: Symbolic bisimulations. Theor. Comput. Sci. 138(2), 353\u2013389 (1995)","journal-title":"Theor. Comput. Sci."},{"key":"12_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"50","DOI":"10.1007\/3-540-61604-7_47","volume-title":"CONCUR 1996: Concurrency Theory","author":"H Lin","year":"1996","unstructured":"Lin, H.: Symbolic transition graph with assignment. In: Sassone, V., Montanari, U. (eds.) CONCUR 1996. LNCS, vol. 1119, pp. 50\u201365. Springer, Heidelberg (1996)"},{"issue":"1\u20132","key":"12_CR5","doi-asserted-by":"publisher","first-page":"225","DOI":"10.1016\/S0304-3975(97)00261-2","volume":"200","author":"M Hennessy","year":"1998","unstructured":"Hennessy, M., Rathke, J.: Bisimulations for a calculus of broadcasting systems. Theor. Comput. Sci. 200(1\u20132), 225\u2013260 (1998)","journal-title":"Theor. Comput. Sci."},{"key":"12_CR6","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1007\/BF00262973","volume":"17","author":"A Arnold","year":"1982","unstructured":"Arnold, A.: Synchronised behaviours of processes and rational relations. Acta Informatica 17, 21\u201329 (1982)","journal-title":"Acta Informatica"},{"key":"12_CR7","doi-asserted-by":"crossref","unstructured":"Henrio, L., Madelaine, E., Zhang, M.: pNets: an expressive model for parameterisednetworks of processes. In: 23rd Euromicro International Conference on Parallel, Distributed, and Network-Based Processing (PDP 2015) (2015)","DOI":"10.1109\/PDP.2015.70"},{"key":"12_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"180","DOI":"10.1007\/978-3-642-04167-9_10","volume-title":"Formal Methods for Components and Objects","author":"A Cansado","year":"2009","unstructured":"Cansado, A., Madelaine, E.: Specification and verification for grid component-based applications: from models to tools. In: de Boer, F.S., Bonsangue, M.M., Madelaine, E. (eds.) FMCO 2008. LNCS, vol. 5751, pp. 180\u2013203. Springer, Heidelberg (2009)"},{"key":"12_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"66","DOI":"10.1007\/978-3-662-49665-7_5","volume-title":"Fundamental Approaches to Software Engineering","author":"L Henrio","year":"2016","unstructured":"Henrio, L., Kulankhina, O., Li, S., Madelaine, E.: Integrated environment for verifying and\u00a0running distributed components. In: Stevens, P. (ed.) FASE 2016. LNCS, vol. 9633, pp. 66\u201383. Springer, Heidelberg (2016). doi:\n                    10.1007\/978-3-662-49665-7_5"},{"key":"12_CR10","doi-asserted-by":"crossref","first-page":"262","DOI":"10.1016\/S1571-0661(05)80477-3","volume":"7","author":"Arend Rensink","year":"1997","unstructured":"Rensink, A.: Bisimilarity of open terms. In: Expressiveness in Languages for Concurrency (1997)","journal-title":"Electronic Notes in Theoretical Computer Science"},{"key":"12_CR11","first-page":"147","volume":"2","author":"Y Deng","year":"2001","unstructured":"Deng, Y.: Algorithm for verifying strong open bisimulation in $$\\pi $$ calculus. J. Shanghai Jiaotong Univ. 2, 147\u2013152 (2001)","journal-title":"J. Shanghai Jiaotong Univ."},{"key":"12_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"400","DOI":"10.1007\/3-540-63166-6_39","volume-title":"Computer Aided Verification","author":"T Bultan","year":"1997","unstructured":"Bultan, T., Gerber, R., Pugh, W.: Symbolic model checking of infinite state systems using presburger arithmetic. In: Grumberg, O. (ed.) CAV 1997. LNCS, vol. 1254, pp. 400\u2013411. Springer, Heidelberg (1997)"},{"issue":"5","key":"12_CR13","doi-asserted-by":"publisher","first-page":"726","DOI":"10.1145\/265943.265960","volume":"19","author":"EM Clarke","year":"1997","unstructured":"Clarke, E.M., Grumberg, O., Jha, S.: Verifying parameterized networks. ACM Trans. Program. Lang. Syst. 19(5), 726\u2013750 (1997)","journal-title":"ACM Trans. Program. Lang. Syst."},{"key":"12_CR14","series-title":"International Series in Computer Science","volume-title":"Communication and Concurrency","author":"R Milner","year":"1989","unstructured":"Milner, R.: Communication and Concurrency. International Series in Computer Science. Prentice-Hall, Englewood Cliffs (1989). SU Fisher Research 511\/24"},{"key":"12_CR15","doi-asserted-by":"crossref","first-page":"175","DOI":"10.1007\/978-3-319-39570-8_12","volume-title":"Formal Techniques for Distributed Objects, Components, and Systems","author":"Ludovic Henrio","year":"2016","unstructured":"Henrio, L., Madelaine, E., Zhang, M.: A theory for the composition of concurrent processes - extended version. Rapport de recherche RR-8898, INRIA, April 2016"}],"container-title":["Lecture Notes in Computer Science","Formal Techniques for Distributed Objects, Components, and Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-39570-8_12","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,5,23]],"date-time":"2020-05-23T00:09:43Z","timestamp":1590192583000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-39570-8_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319395692","9783319395708"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-39570-8_12","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016]]},"assertion":[{"value":"24 May 2016","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"This content has been made available to all.","name":"free","label":"Free to read"}]}}