{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:25:41Z","timestamp":1750220741446,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":44,"publisher":"ACM","license":[{"start":{"date-parts":[[2020,9,8]],"date-time":"2020-09-08T00:00:00Z","timestamp":1599523200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2020,9,8]]},"DOI":"10.1145\/3414080.3414082","type":"proceedings-article","created":{"date-parts":[[2020,9,21]],"date-time":"2020-09-21T23:11:58Z","timestamp":1600729918000},"page":"1-3","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Two notions of sub-behaviour for session-based client\/server systems: 10 Years Later"],"prefix":"10.1145","author":[{"given":"Franco","family":"Barbanera","sequence":"first","affiliation":[{"name":"Universita di Catania, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ugo","family":"de'Liguoro","sequence":"additional","affiliation":[{"name":"Universita di Torino, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2020,9,21]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/1836089.1836109"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.4204\/EPTCS.166.10"},{"key":"e_1_3_2_1_3_1","first-page":"1339","article-title":"Sub-behaviour relations for session-based client\/server systems","volume":"25","author":"Barbanera F.","year":"2015","unstructured":"F. Barbanera and U. de\u2019 Liguoro . 2015 . Sub-behaviour relations for session-based client\/server systems . MSCS 25 , 6 (2015), 1339 \u2013 1381 . F. Barbanera and U. de\u2019Liguoro. 2015. Sub-behaviour relations for session-based client\/server systems. MSCS 25, 6 (2015), 1339\u20131381.","journal-title":"MSCS"},{"key":"e_1_3_2_1_4_1","volume-title":"games and orchestrators for session contracts. Log. Methods Comput. Sci. 13, 3","author":"Barbanera Franco","year":"2017","unstructured":"Franco Barbanera and Ugo de\u2019 Liguoro . 2017. Retractability , games and orchestrators for session contracts. Log. Methods Comput. Sci. 13, 3 ( 2017 ). https:\/\/doi.org\/10.23638\/LMCS-13(3:15)2017 10.23638\/LMCS-13(3:15)2017 Franco Barbanera and Ugo de\u2019Liguoro. 2017. Retractability, games and orchestrators for session contracts. Log. Methods Comput. Sci. 13, 3 (2017). https:\/\/doi.org\/10.23638\/LMCS-13(3:15)2017"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.4204\/EPTCS.261.5"},{"key":"e_1_3_2_1_6_1","volume-title":"Ugo de\u2019Liguoro, and Rolf Hennicker","author":"Barbanera Franco","year":"2019","unstructured":"Franco Barbanera , Ugo de\u2019Liguoro, and Rolf Hennicker . 2019 . Connecting open systems of communicating finite state machines. J. Log. Algebraic Methods Program . 109 (2019). https:\/\/doi.org\/10.1016\/j.jlamp.2019.07.004 10.1016\/j.jlamp.2019.07.004 Franco Barbanera, Ugo de\u2019Liguoro, and Rolf Hennicker. 2019. Connecting open systems of communicating finite state machines. J. Log. Algebraic Methods Program. 109 (2019). https:\/\/doi.org\/10.1016\/j.jlamp.2019.07.004"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.4204\/EPTCS.304.6"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00165-016-0358-2"},{"key":"e_1_3_2_1_9_1","volume-title":"Retractable Contracts. In PLACES 2015(EPTCS), Vol.\u00a0203","author":"Barbanera F.","year":"2016","unstructured":"F. Barbanera , M. Dezani-Ciancaglini , I. Lanese , and U. de\u2019 Liguoro . 2016 . Retractable Contracts. In PLACES 2015(EPTCS), Vol.\u00a0203 . Open Publishing Association, 61\u201372. F. Barbanera, M. Dezani-Ciancaglini, I. Lanese, and U. de\u2019Liguoro. 2016. Retractable Contracts. In PLACES 2015(EPTCS), Vol.\u00a0203. Open Publishing Association, 61\u201372."},{"key":"e_1_3_2_1_10_1","volume-title":"to appear. Composition and Decomposition of Multiparty Sessions. Journal of Logical and Algebraic Methods in Programming","author":"Barbanera Franco","year":"2020","unstructured":"Franco Barbanera , Mariangiola Dezani-Ciancaglini , Ivan Lanese , and Emilio Tuosto . 2020 , to appear. Composition and Decomposition of Multiparty Sessions. Journal of Logical and Algebraic Methods in Programming ( 2020 , to appear). Franco Barbanera, Mariangiola Dezani-Ciancaglini, Ivan Lanese, and Emilio Tuosto. 2020, to appear. Composition and Decomposition of Multiparty Sessions. Journal of Logical and Algebraic Methods in Programming (2020, to appear)."},{"key":"e_1_3_2_1_11_1","volume-title":"COORDINATION 2017, Proceedings(LNCS), Jean-Marie Jacquet and Mieke Massink (Eds.), Vol.\u00a010319","author":"Barbanera Franco","year":"2017","unstructured":"Franco Barbanera , Ivan Lanese , and Ugo de\u2019 Liguoro . 2017 . Retractable and Speculative Contracts. In Coordination Models and Languages - 19th IFIP WG 6.1 International Conference , COORDINATION 2017, Proceedings(LNCS), Jean-Marie Jacquet and Mieke Massink (Eds.), Vol.\u00a010319 . Springer, 119\u2013137. https:\/\/doi.org\/10.1007\/978-3-319-59746-1_7 10.1007\/978-3-319-59746-1_7 Franco Barbanera, Ivan Lanese, and Ugo de\u2019Liguoro. 2017. Retractable and Speculative Contracts. In Coordination Models and Languages - 19th IFIP WG 6.1 International Conference, COORDINATION 2017, Proceedings(LNCS), Jean-Marie Jacquet and Mieke Massink (Eds.), Vol.\u00a010319. Springer, 119\u2013137. https:\/\/doi.org\/10.1007\/978-3-319-59746-1_7"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2018.06.005"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jlamp.2016.08.002"},{"key":"e_1_3_2_1_14_1","volume-title":"Timed Session Types. Log. Methods Comput. Sci. 13, 4","author":"Bartoletti Massimo","year":"2017","unstructured":"Massimo Bartoletti , Tiziana Cimoli , and Maurizio Murgia . 2017. Timed Session Types. Log. Methods Comput. Sci. 13, 4 ( 2017 ). https:\/\/doi.org\/10.23638\/LMCS-13(4:25)2017 10.23638\/LMCS-13(4:25)2017 Massimo Bartoletti, Tiziana Cimoli, and Maurizio Murgia. 2017. Timed Session Types. Log. Methods Comput. Sci. 13, 4 (2017). https:\/\/doi.org\/10.23638\/LMCS-13(4:25)2017"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.4204\/EPTCS.166.9"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jlamp.2015.05.001"},{"key":"#cr-split#-e_1_3_2_1_17_1.1","doi-asserted-by":"crossref","unstructured":"Massimo Bartoletti Tiziana Cimoli and Roberto Zunino. 2015. Compliance in Behavioural Contracts: A Brief Survey. In Programming Languages with Applications to Biology and Security - Essays Dedicated to Pierpaolo Degano on the Occasion of His 65th Birthday(LNCS) Chiara Bodei Gian\u00a0Luigi Ferrari and Corrado Priami (Eds.) Vol.\u00a09465. Springer 103-121. https:\/\/doi.org\/10.1007\/978-3-319-25527-9_9 10.1007\/978-3-319-25527-9_9","DOI":"10.1007\/978-3-319-25527-9_9"},{"key":"#cr-split#-e_1_3_2_1_17_1.2","doi-asserted-by":"crossref","unstructured":"Massimo Bartoletti Tiziana Cimoli and Roberto Zunino. 2015. Compliance in Behavioural Contracts: A Brief Survey. In Programming Languages with Applications to Biology and Security - Essays Dedicated to Pierpaolo Degano on the Occasion of His 65th Birthday(LNCS) Chiara Bodei Gian\u00a0Luigi Ferrari and Corrado Priami (Eds.) Vol.\u00a09465. Springer 103-121. https:\/\/doi.org\/10.1007\/978-3-319-25527-9_9","DOI":"10.1007\/978-3-319-25527-9_9"},{"key":"e_1_3_2_1_18_1","volume-title":"Compliance and Testing Preorders Differ. In SEFM 2013 Collocated Workshops: BEAT2, WS-FMDS, FM-RAIL-Bok, MoKMaSD, and OpenCert, Revised Selected Papers(LNCS), S.Counsell and M.N\u00fa\u00f1ez (Eds.), Vol.\u00a08368","author":"Bernardi Giovanni","year":"2013","unstructured":"Giovanni Bernardi and Matthew Hennessy . 2013 . Compliance and Testing Preorders Differ. In SEFM 2013 Collocated Workshops: BEAT2, WS-FMDS, FM-RAIL-Bok, MoKMaSD, and OpenCert, Revised Selected Papers(LNCS), S.Counsell and M.N\u00fa\u00f1ez (Eds.), Vol.\u00a08368 . Springer, 69\u201381. https:\/\/doi.org\/10.1007\/978-3-319-05032-4_6 10.1007\/978-3-319-05032-4_6 Giovanni Bernardi and Matthew Hennessy. 2013. Compliance and Testing Preorders Differ. In SEFM 2013 Collocated Workshops: BEAT2, WS-FMDS, FM-RAIL-Bok, MoKMaSD, and OpenCert, Revised Selected Papers(LNCS), S.Counsell and M.N\u00fa\u00f1ez (Eds.), Vol.\u00a08368. Springer, 69\u201381. https:\/\/doi.org\/10.1007\/978-3-319-05032-4_6"},{"key":"e_1_3_2_1_19_1","volume-title":"Mutually Testing Processes. Log. Methods Comput. Sci. 11, 2","author":"Bernardi Giovanni","year":"2015","unstructured":"Giovanni Bernardi and Matthew Hennessy . 2015. Mutually Testing Processes. Log. Methods Comput. Sci. 11, 2 ( 2015 ). https:\/\/doi.org\/10.2168\/LMCS-11(2:1)2015 10.2168\/LMCS-11(2:1)2015 Giovanni Bernardi and Matthew Hennessy. 2015. Mutually Testing Processes. Log. Methods Comput. Sci. 11, 2 (2015). https:\/\/doi.org\/10.2168\/LMCS-11(2:1)2015"},{"key":"e_1_3_2_1_20_1","volume-title":"Using higher-order contracts to model session types. Logical Methods in Computer Science 12, 2","author":"Bernardi Giovanni","year":"2016","unstructured":"Giovanni Bernardi and Matthew Hennessy . 2016. Using higher-order contracts to model session types. Logical Methods in Computer Science 12, 2 ( 2016 ). https:\/\/doi.org\/10.2168\/LMCS-12(2:10)2016 10.2168\/LMCS-12(2:10)2016 Giovanni Bernardi and Matthew Hennessy. 2016. Using higher-order contracts to model session types. Logical Methods in Computer Science 12, 2 (2016). https:\/\/doi.org\/10.2168\/LMCS-12(2:10)2016"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2018.08.004"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0960129514000243"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/322374.322380"},{"key":"e_1_3_2_1_24_1","volume-title":"9th International Conference, COORDINATION 2007, Proceedings(Lecture Notes in Computer Science), Amy\u00a0L. Murphy and Jan Vitek (Eds.), Vol.\u00a04467","author":"Bravetti Mario","year":"2007","unstructured":"Mario Bravetti and Gianluigi Zavattaro . 2007 . A Theory for Strong Service Compliance. In Coordination Models and Languages , 9th International Conference, COORDINATION 2007, Proceedings(Lecture Notes in Computer Science), Amy\u00a0L. Murphy and Jan Vitek (Eds.), Vol.\u00a04467 . Springer, 96\u2013112. https:\/\/doi.org\/10.1007\/978-3-540-72794-1_6 10.1007\/978-3-540-72794-1_6 Mario Bravetti and Gianluigi Zavattaro. 2007. A Theory for Strong Service Compliance. In Coordination Models and Languages, 9th International Conference, COORDINATION 2007, Proceedings(Lecture Notes in Computer Science), Amy\u00a0L. Murphy and Jan Vitek (Eds.), Vol.\u00a04467. Springer, 96\u2013112. https:\/\/doi.org\/10.1007\/978-3-540-72794-1_6"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/3354166.3356340"},{"key":"e_1_3_2_1_26_1","volume-title":"Languages and Programming ICALP 2005, Proceedings(LNCS), Lu\u00eds Caires, Giuseppe\u00a0F. Italiano, Lu\u00eds Monteiro, Catuscia Palamidessi, and Moti Yung (Eds.), Vol.\u00a03580","author":"Castagna Giuseppe","year":"2005","unstructured":"Giuseppe Castagna and Alain Frisch . 2005 . A Gentle Introduction to Semantic Subtyping. In Automata , Languages and Programming ICALP 2005, Proceedings(LNCS), Lu\u00eds Caires, Giuseppe\u00a0F. Italiano, Lu\u00eds Monteiro, Catuscia Palamidessi, and Moti Yung (Eds.), Vol.\u00a03580 . Springer, 30\u201334. Giuseppe Castagna and Alain Frisch. 2005. A Gentle Introduction to Semantic Subtyping. In Automata, Languages and Programming ICALP 2005, Proceedings(LNCS), Lu\u00eds Caires, Giuseppe\u00a0F. Italiano, Lu\u00eds Monteiro, Catuscia Palamidessi, and Moti Yung (Eds.), Vol.\u00a03580. Springer, 30\u201334."},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/1538917.1538920"},{"key":"e_1_3_2_1_28_1","volume-title":"Mailbox Types for Unordered Interactions. In 32nd European Conference on Object-Oriented Programming ECOOP 2018","author":"Liguoro Ugo","year":"2018","unstructured":"Ugo de\u2019 Liguoro and Luca Padovani . 2018 . Mailbox Types for Unordered Interactions. In 32nd European Conference on Object-Oriented Programming ECOOP 2018 , Proceeding(LIPIcs), Todd\u00a0D. Millstein (Ed.), Vol.\u00a0109. Schloss Dagstuhl - Leibniz-Zentrum f\u00fcr Informatik, 15:1\u201315:28. https:\/\/doi.org\/10.4230\/LIPIcs.ECOOP. 2018.15 10.4230\/LIPIcs.ECOOP.2018.15 Ugo de\u2019Liguoro and Luca Padovani. 2018. Mailbox Types for Unordered Interactions. In 32nd European Conference on Object-Oriented Programming ECOOP 2018, Proceeding(LIPIcs), Todd\u00a0D. Millstein (Ed.), Vol.\u00a0109. Schloss Dagstuhl - Leibniz-Zentrum f\u00fcr Informatik, 15:1\u201315:28. https:\/\/doi.org\/10.4230\/LIPIcs.ECOOP.2018.15"},{"key":"e_1_3_2_1_29_1","volume-title":"Automata, Languages, and Programming ICALP","author":"Deni\u00e9lou Pierre-Malo","year":"2013","unstructured":"Pierre-Malo Deni\u00e9lou and Nobuko Yoshida . 2013. Multiparty Compatibility in Communicating Automata: Characterisation and Synthesis of Global Session Types . In Automata, Languages, and Programming ICALP 2013 , Proceedings, Part II(LNCS), F.V. Fomin, R.Freivalds, M.Z. Kwiatkowska, and D.Peleg (Eds.), Vol.\u00a07966. Springer , 174\u2013186. https:\/\/doi.org\/10.1007\/978-3-642-39212-2_18 10.1007\/978-3-642-39212-2_18 Pierre-Malo Deni\u00e9lou and Nobuko Yoshida. 2013. Multiparty Compatibility in Communicating Automata: Characterisation and Synthesis of Global Session Types. In Automata, Languages, and Programming ICALP 2013, Proceedings, Part II(LNCS), F.V. Fomin, R.Freivalds, M.Z. Kwiatkowska, and D.Peleg (Eds.), Vol.\u00a07966. Springer, 174\u2013186. https:\/\/doi.org\/10.1007\/978-3-642-39212-2_18"},{"key":"e_1_3_2_1_30_1","volume-title":"Stuck-Free Conformance. In Computer Aided Verification CAV 2004, Proceedings(LNCS), Rajeev Alur and Doron\u00a0A. Peled (Eds.), Vol.\u00a03114","author":"Fournet C\u00e9dric","year":"2004","unstructured":"C\u00e9dric Fournet , C.\u00a0A.\u00a0 R. Hoare , Sriram\u00a0 K. Rajamani , and Jakob Rehof . 2004 . Stuck-Free Conformance. In Computer Aided Verification CAV 2004, Proceedings(LNCS), Rajeev Alur and Doron\u00a0A. Peled (Eds.), Vol.\u00a03114 . Springer, 242\u2013254. https:\/\/doi.org\/10.1007\/978-3-540-27813-9_19 10.1007\/978-3-540-27813-9_19 C\u00e9dric Fournet, C.\u00a0A.\u00a0R. Hoare, Sriram\u00a0K. Rajamani, and Jakob Rehof. 2004. Stuck-Free Conformance. In Computer Aided Verification CAV 2004, Proceedings(LNCS), Rajeev Alur and Doron\u00a0A. Peled (Eds.), Vol.\u00a03114. Springer, 242\u2013254. https:\/\/doi.org\/10.1007\/978-3-540-27813-9_19"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.5555\/2697442.2697675"},{"volume-title":"Algebraic theory of processes","author":"Hennessy Matthew","key":"e_1_3_2_1_32_1","unstructured":"Matthew Hennessy . 1988. Algebraic theory of processes . MIT Press . Matthew Hennessy. 1988. Algebraic theory of processes. MIT Press."},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"crossref","unstructured":"K. Honda V.\u00a0T. Vasconcelos and M. Kubo. 1998. Language Primitives and Type Disciplines for Structured Communication-based Programming. In ESOP(LNCS) Vol.\u00a01381. Springer 22\u2013138.  K. Honda V.\u00a0T. Vasconcelos and M. Kubo. 1998. Language Primitives and Type Disciplines for Structured Communication-based Programming. In ESOP(LNCS) Vol.\u00a01381. Springer 22\u2013138.","DOI":"10.1007\/BFb0053567"},{"key":"e_1_3_2_1_34_1","volume-title":"Foundations of Session Types and Behavioural Contracts. ACM Comput. Surv. 49, 1","author":"H\u00fcttel Hans","year":"2016","unstructured":"Hans H\u00fcttel , Ivan Lanese , Vasco\u00a0 T. Vasconcelos , Lu\u00eds Caires , Marco Carbone , Pierre-Malo Deni\u00e9lou , Dimitris Mostrous , Luca Padovani , Ant\u00f3nio Ravara , Emilio Tuosto , Hugo\u00a0Torres Vieira , and Gianluigi Zavattaro . 2016. Foundations of Session Types and Behavioural Contracts. ACM Comput. Surv. 49, 1 ( 2016 ), 3:1\u20133:36. https:\/\/doi.org\/10.1145\/2873052 10.1145\/2873052 Hans H\u00fcttel, Ivan Lanese, Vasco\u00a0T. Vasconcelos, Lu\u00eds Caires, Marco Carbone, Pierre-Malo Deni\u00e9lou, Dimitris Mostrous, Luca Padovani, Ant\u00f3nio Ravara, Emilio Tuosto, Hugo\u00a0Torres Vieira, and Gianluigi Zavattaro. 2016. Foundations of Session Types and Behavioural Contracts. ACM Comput. Surv. 49, 1 (2016), 3:1\u20133:36. https:\/\/doi.org\/10.1145\/2873052"},{"key":"e_1_3_2_1_35_1","volume-title":"CONCUR 2007 - Concurrency Theory, 18th International Conference, CONCUR","author":"Laneve Cosimo","year":"2007","unstructured":"Cosimo Laneve and Luca Padovani . 2007. The Must Preorder Revisited . In CONCUR 2007 - Concurrency Theory, 18th International Conference, CONCUR 2007 , Lisbon, Portugal, September 3-8, 2007, Proceedings(Lecture Notes in Computer Science), Lu\u00eds Caires and Vasco\u00a0Thudichum Vasconcelos (Eds.), Vol.\u00a04703. Springer , 212\u2013225. https:\/\/doi.org\/10.1007\/978-3-540-74407-8_15 10.1007\/978-3-540-74407-8_15 Cosimo Laneve and Luca Padovani. 2007. The Must Preorder Revisited. In CONCUR 2007 - Concurrency Theory, 18th International Conference, CONCUR 2007, Lisbon, Portugal, September 3-8, 2007, Proceedings(Lecture Notes in Computer Science), Lu\u00eds Caires and Vasco\u00a0Thudichum Vasconcelos (Eds.), Vol.\u00a04703. Springer, 212\u2013225. https:\/\/doi.org\/10.1007\/978-3-540-74407-8_15"},{"volume-title":"Concurrency, Graphs and Models, Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday(LNCS), Pierpaolo Degano, Rocco\u00a0De Nicola, and Jos\u00e9 Meseguer (Eds.), Vol.\u00a05065","author":"Laneve Cosimo","key":"e_1_3_2_1_36_1","unstructured":"Cosimo Laneve and Luca Padovani . 2008. The Pairing of Contracts and Session Types . In Concurrency, Graphs and Models, Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday(LNCS), Pierpaolo Degano, Rocco\u00a0De Nicola, and Jos\u00e9 Meseguer (Eds.), Vol.\u00a05065 . Springer , 681\u2013700. https:\/\/doi.org\/10.1007\/978-3-540-68679-8_42 10.1007\/978-3-540-68679-8_42 Cosimo Laneve and Luca Padovani. 2008. The Pairing of Contracts and Session Types. In Concurrency, Graphs and Models, Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday(LNCS), Pierpaolo Degano, Rocco\u00a0De Nicola, and Jos\u00e9 Meseguer (Eds.), Vol.\u00a05065. Springer, 681\u2013700. https:\/\/doi.org\/10.1007\/978-3-540-68679-8_42"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.4204\/EPTCS.304.3"},{"volume-title":"ICALP(LNCS), Vol.\u00a0154","author":"Nicola Rocco\u00a0De","key":"e_1_3_2_1_38_1","unstructured":"Rocco\u00a0De Nicola and Matthew Hennessy . 1983. Testing Equivalence for Processes . In ICALP(LNCS), Vol.\u00a0154 . Springer , 548\u2013560. Rocco\u00a0De Nicola and Matthew Hennessy. 1983. Testing Equivalence for Processes. In ICALP(LNCS), Vol.\u00a0154. Springer, 548\u2013560."},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-17660-8_53"},{"volume-title":"SFM(LNCS), Vol.\u00a05569","author":"Padovani Luca","key":"e_1_3_2_1_40_1","unstructured":"Luca Padovani . 2009. Contract-Based Discovery and Adaptation of Web Services . In SFM(LNCS), Vol.\u00a05569 . Springer , 213\u2013260. Luca Padovani. 2009. Contract-Based Discovery and Adaptation of Web Services. In SFM(LNCS), Vol.\u00a05569. Springer, 213\u2013260."},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2010.05.002"},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1017\/S096012951400022X"},{"key":"e_1_3_2_1_43_1","volume-title":"Pierce and Davide Sangiorgi","author":"C.","year":"1993","unstructured":"Benjamin\u00a0 C. Pierce and Davide Sangiorgi . 1993 . Typing and Subtyping for Mobile Processes. In Logic in Computer Science. Full version in Mathematical Structures in Computer Science , Vol. 6 , No. 5, 1996. Benjamin\u00a0C. Pierce and Davide Sangiorgi. 1993. Typing and Subtyping for Mobile Processes. In Logic in Computer Science. Full version in Mathematical Structures in Computer Science , Vol. 6, No. 5, 1996."}],"event":{"name":"PPDP '20: 22nd International Symposium on Principles and Practice of Declarative Programming","acronym":"PPDP '20","location":"Bologna Italy"},"container-title":["Proceedings of the 22nd International Symposium on Principles and Practice of Declarative Programming"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3414080.3414082","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3414080.3414082","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T22:38:38Z","timestamp":1750199918000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3414080.3414082"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,9,8]]},"references-count":44,"alternative-id":["10.1145\/3414080.3414082","10.1145\/3414080"],"URL":"https:\/\/doi.org\/10.1145\/3414080.3414082","relation":{},"subject":[],"published":{"date-parts":[[2020,9,8]]},"assertion":[{"value":"2020-09-21","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}