{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,21]],"date-time":"2025-08-21T17:59:57Z","timestamp":1755799197765,"version":"3.41.0"},"publisher-location":"Cham","reference-count":22,"publisher":"Springer Nature Switzerland","isbn-type":[{"value":"9783031970627","type":"print"},{"value":"9783031970634","type":"electronic"}],"license":[{"start":{"date-parts":[[2025,1,1]],"date-time":"2025-01-01T00:00:00Z","timestamp":1735689600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2025,1,1]],"date-time":"2025-01-01T00:00:00Z","timestamp":1735689600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2025]]},"DOI":"10.1007\/978-3-031-97063-4_2","type":"book-chapter","created":{"date-parts":[[2025,6,21]],"date-time":"2025-06-21T07:42:36Z","timestamp":1750491756000},"page":"9-26","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Independence and\u00a0Causality in\u00a0the\u00a0Reversible Concurrent Setting"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-6346-3043","authenticated-orcid":false,"given":"Cl\u00e9ment","family":"Aubert","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-5013-5876","authenticated-orcid":false,"given":"Iain","family":"Phillips","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-3834-2036","authenticated-orcid":false,"given":"Irek","family":"Ulidowski","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2025,6,22]]},"reference":[{"key":"2_CR1","doi-asserted-by":"publisher","unstructured":"Abadi, M., Blanchet, B., Fournet, C.: The applied pi calculus: mobile values, new names, and secure communication. J. ACM 65(1), 1:1\u20131:41 (2018). https:\/\/doi.org\/10.1145\/3127586","DOI":"10.1145\/3127586"},{"key":"2_CR2","doi-asserted-by":"publisher","unstructured":"Aman, B., et al.: Foundations of reversible computation. In: Ulidowski, I., Lanese, I., Schultz, U.P., Ferreira, C. (eds.) Reversible Computation: Extending Horizons of Computing - Selected Results of the COST Action IC1405. LNCS, vol. 12070, pp. 1\u201340. Springer, (2020). https:\/\/doi.org\/10.1007\/978-3-030-47361-7_1","DOI":"10.1007\/978-3-030-47361-7_1"},{"key":"2_CR3","doi-asserted-by":"publisher","unstructured":"Aubert, C.: Concurrencies in reversible concurrent calculi. In: Mezzina, C.A., Podlaski, K. (eds.) RC. LNCS, vol. 13354, pp. 146\u2013163. Springer (2022). https:\/\/hal.science\/hal-03384482.https:\/\/doi.org\/10.1007\/978-3-031-09005-9_10","DOI":"10.1007\/978-3-031-09005-9_10"},{"key":"2_CR4","doi-asserted-by":"publisher","unstructured":"Aubert, C.: The Correctness of Concurrencies in (Reversible) Concurrent Calculi. J. Logical Algebraic Methods Programm., 100924 (2023). https:\/\/hal.science\/hal-03950347. https:\/\/doi.org\/10.1016\/j.jlamp.2023.100924","DOI":"10.1016\/j.jlamp.2023.100924"},{"key":"2_CR5","doi-asserted-by":"publisher","unstructured":"Aubert, C., Horne, R., Johansen, C.: Bisimulations respecting duration and causality for the non-interleaving applied $$\\pi $$-calculus. In: Castiglioni, V., Mezzina, C.A. (eds.) EXPRESS\/SOS. EPTCS, vol. 368, pp. 3\u201322 (2022). https:\/\/doi.org\/10.4204\/EPTCS.368.1","DOI":"10.4204\/EPTCS.368.1"},{"key":"2_CR6","doi-asserted-by":"publisher","unstructured":"Aubert, C., Horne, R., Johansen, C.: Diamonds for security: a non-interleaving operational semantics for the applied pi-calculus. In: Klin, B., Lasota, S., Muscholl, A. (eds.) CONCUR, vol. 243. LIPICS, pp. 30:1\u201330:26. Schloss Dagstuhl - Leibniz-Zentrum f\u00fcr Informatik (2022). https:\/\/doi.org\/10.4230\/LIPIcs.CONCUR.2022.30","DOI":"10.4230\/LIPIcs.CONCUR.2022.30"},{"key":"2_CR7","doi-asserted-by":"publisher","unstructured":"Aubert, C., Phillips, I.C.C., Ulidowski, I.: Dependence and independence for reversible process calculi. CoRR, abs\/2410.14699 (2024). https:\/\/doi.org\/10.48550\/arXiv.2410.14699","DOI":"10.48550\/arXiv.2410.14699"},{"key":"2_CR8","doi-asserted-by":"publisher","unstructured":"Bernardo, M., Esposito, A., Mezzina, C.A.: Expansion laws for forward-reverse, forward, and reverse bisimilarities via proved encodings. In: Caltais, G., Di Giusto, C. (eds.) EXPRESS\/SOS. EPTCS, vol. 412, pp. 51\u201370 (2024). https:\/\/doi.org\/10.4204\/EPTCS.412.5","DOI":"10.4204\/EPTCS.412.5"},{"issue":"1\u20132","key":"2_CR9","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1561\/3300000004","volume":"1","author":"B Blanchet","year":"2016","unstructured":"Blanchet, B.: Modeling and verifying security protocols with the applied pi calculus and ProVerif. Found. Trends Privacy Secur. 1(1\u20132), 1\u2013135 (2016). https:\/\/doi.org\/10.1561\/3300000004","journal-title":"Found. Trends Privacy Secur."},{"issue":"4","key":"2_CR10","doi-asserted-by":"publisher","first-page":"433","DOI":"10.3233\/FI-1988-11406","volume":"11","author":"G Boudol","year":"1988","unstructured":"Boudol, G., Castellani, I.: A non-interleaving semantics for CCS based on proved transitions. Fund. Inform. 11(4), 433\u2013452 (1988). https:\/\/doi.org\/10.3233\/FI-1988-11406","journal-title":"Fund. Inform."},{"issue":"2","key":"2_CR11","doi-asserted-by":"publisher","first-page":"247","DOI":"10.1006\/inco.1994.1088","volume":"114","author":"G Boudol","year":"1994","unstructured":"Boudol, G., Castellani, I.: Flow models of distributed computations: three equivalent semantics for CCS. Inf. Comput. 114(2), 247\u2013314 (1994). https:\/\/doi.org\/10.1006\/inco.1994.1088","journal-title":"Inf. Comput."},{"key":"2_CR12","doi-asserted-by":"publisher","unstructured":"Danos, V., Krivine, J.: Reversible communicating systems. In: Gardner, P., Yoshida, N. (eds.) CONCUR. LNCS, vol. 3170, pp. 292\u2013307. Springer (2004). https:\/\/doi.org\/10.1007\/978-3-540-28644-8_19","DOI":"10.1007\/978-3-540-28644-8_19"},{"key":"2_CR13","doi-asserted-by":"publisher","unstructured":"Degano, P., Gadducci, F., Priami, C.: Causality and replication in concurrent processes. In: Broy, M., Zamulin, A.V. (eds.) PSI. LNCS, vol. 2890, pp. 307\u2013318. Springer (2003). https:\/\/doi.org\/10.1007\/978-3-540-39866-0_30","DOI":"10.1007\/978-3-540-39866-0_30"},{"key":"2_CR14","doi-asserted-by":"publisher","unstructured":"Horne, R., Mauw, S.: Discovering epassport vulnerabilities using bisimilarity. Logical Methods Comput. Sci. 17(2), 24 (2021). https:\/\/doi.org\/10.23638\/LMCS-17(2:24)2021","DOI":"10.23638\/LMCS-17(2:24)2021"},{"key":"2_CR15","doi-asserted-by":"publisher","unstructured":"Lanese, I., Phillips, I.C.C.: Forward-reverse observational equivalences in CCSK. In: Yamashita, S., Yokoyama, T. (eds.) RC. LNCS, vol. 12805, pp. 126\u2013143. Springer (2021). https:\/\/doi.org\/10.1007\/978-3-030-79837-6_8","DOI":"10.1007\/978-3-030-79837-6_8"},{"key":"2_CR16","doi-asserted-by":"publisher","unstructured":"Lanese, I., Phillips, I.C.C., Ulidowski, I.: An axiomatic approach to reversible computation. In: Goubault-Larrecq, J., K\u00f6nig, B., (eds.) FOSSACS. LNCS, vol. 12077, pp. 442\u2013461. Springer (2020). https:\/\/doi.org\/10.1007\/978-3-030-45231-5_23","DOI":"10.1007\/978-3-030-45231-5_23"},{"issue":"2","key":"2_CR17","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/3648474","volume":"25","author":"I Lanese","year":"2024","unstructured":"Lanese, I., Phillips, I.C.C., Ulidowski, I.: An axiomatic theory for reversible computation. ACM Trans. Comput. Logic 25(2), 1\u201340 (2024). https:\/\/doi.org\/10.1145\/3648474","journal-title":"ACM Trans. Comput. Logic"},{"key":"2_CR18","doi-asserted-by":"publisher","unstructured":"Milner, R.: A Calculus of Communicating Systems. LNCS, vol. 92. Springer, Heidelberg (1980). https:\/\/doi.org\/10.1007\/3-540-10235-3","DOI":"10.1007\/3-540-10235-3"},{"key":"2_CR19","doi-asserted-by":"publisher","unstructured":"Phillips, I.C.C., Ulidowski, I.: Reversibility and models for concurrency. In: Hennessy, M.C.B., van Glabbeek, R.J., (eds.) SOS. ENTCS. ENTCS, vol. 192(1), pp. 93\u2013108. Elsevier (2007). https:\/\/doi.org\/10.1016\/j.entcs.2007.08.018","DOI":"10.1016\/j.entcs.2007.08.018"},{"issue":"1\u20132","key":"2_CR20","doi-asserted-by":"publisher","first-page":"70","DOI":"10.1016\/j.jlap.2006.11.002","volume":"73","author":"ICC Phillips","year":"2007","unstructured":"Phillips, I.C.C., Ulidowski, I.: Reversing algebraic process calculi. J. Logic Algebraic Programm. 73(1\u20132), 70\u201396 (2007). https:\/\/doi.org\/10.1016\/j.jlap.2006.11.002","journal-title":"J. Logic Algebraic Programm."},{"key":"2_CR21","doi-asserted-by":"publisher","unstructured":"Ryan, M.D., Smyth, B.: Applied pi calculus. In: Cortier, V., Kremer, S., (ed.) Formal Models and Techniques for Analyzing Security Protocols. Cryptology and Information Security Series, vol.\u00a05, pp. 112\u2013142. IOS Press (2011). https:\/\/doi.org\/10.3233\/978-1-60750-714-7-112","DOI":"10.3233\/978-1-60750-714-7-112"},{"issue":"1\u20132","key":"2_CR22","doi-asserted-by":"publisher","first-page":"297","DOI":"10.1016\/S0304-3975(96)80710-9","volume":"170","author":"V Sassone","year":"1996","unstructured":"Sassone, V., Nielsen, M., Winskel, G.: Models of concurrency: towards a classification. Theoret. Comput. Sci. 170(1\u20132), 297\u2013348 (1996). https:\/\/doi.org\/10.1016\/S0304-3975(96)80710-9","journal-title":"Theoret. Comput. Sci."}],"container-title":["Lecture Notes in Computer Science","Reversible Computation"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-97063-4_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,21]],"date-time":"2025-06-21T08:02:08Z","timestamp":1750492928000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-97063-4_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025]]},"ISBN":["9783031970627","9783031970634"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-97063-4_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2025]]},"assertion":[{"value":"22 June 2025","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"RC","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Reversible Computation","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Odense","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Denmark","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2025","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"3 July 2025","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"4 July 2025","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"17","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"rc2025","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/reversible-computation-2025.github.io\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}