{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T08:07:08Z","timestamp":1743062828343,"version":"3.40.3"},"publisher-location":"Cham","reference-count":28,"publisher":"Springer Nature Switzerland","isbn-type":[{"type":"print","value":"9783031479625"},{"type":"electronic","value":"9783031479632"}],"license":[{"start":{"date-parts":[[2023,1,1]],"date-time":"2023-01-01T00:00:00Z","timestamp":1672531200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2023,1,1]],"date-time":"2023-01-01T00:00:00Z","timestamp":1672531200000},"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":[[2023]]},"DOI":"10.1007\/978-3-031-47963-2_19","type":"book-chapter","created":{"date-parts":[[2023,11,22]],"date-time":"2023-11-22T21:41:26Z","timestamp":1700689286000},"page":"313-331","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Robustness in\u00a0Metric Spaces over\u00a0Continuous Quantales and\u00a0the\u00a0Hausdorff-Smyth Monad"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-3599-3535","authenticated-orcid":false,"given":"Francesco","family":"Dagnino","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-1879-0763","authenticated-orcid":false,"given":"Amin","family":"Farjudian","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0001-8018-6543","authenticated-orcid":false,"given":"Eugenio","family":"Moggi","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2023,11,23]]},"reference":[{"key":"19_CR1","first-page":"1","volume-title":"Handbook of Logic in Computer Science","author":"S Abramsky","year":"1994","unstructured":"Abramsky, S., Jung, A.: Domain theory. In: Abramsky, S., Gabbay, D.M., Maibaum, T.S.E. (eds.) Handbook of Logic in Computer Science, vol. 3, pp. 1\u2013168. Clarendon Press, Oxford (1994)"},{"issue":"2","key":"19_CR2","doi-asserted-by":"publisher","first-page":"161","DOI":"10.1017\/S0960129500000189","volume":"3","author":"S Abramsky","year":"1993","unstructured":"Abramsky, S., Vickers, S.: Quantales, observational logic and process semantics. Math. Struct. Comput. Sci. 3(2), 161\u2013227 (1993). https:\/\/doi.org\/10.1017\/S0960129500000189","journal-title":"Math. Struct. Comput. Sci."},{"key":"19_CR3","doi-asserted-by":"publisher","unstructured":"Bonchi, F., K\u00f6nig, B., Petrisan, D.: Up-to techniques for behavioural metrics via fibrations. In: Schewe, S., Zhang, L. (eds.) 29th International Conference on Concurrency Theory, CONCUR 2018. LIPIcs, vol.\u00a0118, pp. 17:1\u201317:17. Schloss Dagstuhl - Leibniz-Zentrum f\u00fcr Informatik (2018). https:\/\/doi.org\/10.4230\/LIPIcs.CONCUR.2018.17","DOI":"10.4230\/LIPIcs.CONCUR.2018.17"},{"key":"19_CR4","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511525872","volume-title":"Handbook of Categorical Algebra: Volume 1, Basic Category Theory","author":"F Borceux","year":"1994","unstructured":"Borceux, F.: Handbook of Categorical Algebra: Volume 1, Basic Category Theory, vol. 1. Cambridge University Press, Cambridge (1994)"},{"key":"19_CR5","doi-asserted-by":"publisher","first-page":"42","DOI":"10.1016\/j.fss.2020.06.005","volume":"406","author":"DS Cook","year":"2021","unstructured":"Cook, D.S., Weiss, I.: The topology of a quantale valued metric space. Fuzzy Sets Syst. 406, 42\u201357 (2021). https:\/\/doi.org\/10.1016\/j.fss.2020.06.005","journal-title":"Fuzzy Sets Syst."},{"issue":"4","key":"19_CR6","doi-asserted-by":"publisher","first-page":"511","DOI":"10.1093\/logcom\/2.4.511","volume":"2","author":"P Cousot","year":"1992","unstructured":"Cousot, P., Cousot, R.: Abstract interpretation frameworks. J. Log. Comput. 2(4), 511\u2013547 (1992)","journal-title":"J. Log. Comput."},{"key":"19_CR7","unstructured":"Dagnino, F., Farjudian, A., Moggi, E.: Robustness in metric spaces over continuous quantales and the Hausdorff-Smyth monad (2023). https:\/\/arxiv.org\/abs\/2309.06968"},{"key":"19_CR8","doi-asserted-by":"publisher","unstructured":"Dal Lago, U., Gavazzo, F., Yoshimizu, A.: Differential logical relations, part I: the simply-typed case. In: Baier, C., Chatzigiannakis, I., Flocchini, P., Leonardi, S. (eds.) 46th International Conference on Automata, Languages and Programming, ICALP 2018. LIPIcs, vol.\u00a0132, pp. 111:1\u2013111:14. Schloss Dagstuhl - Leibniz-Zentrum f\u00fcr Informatik (2019). https:\/\/doi.org\/10.4230\/LIPIcs.ICALP.2019.111","DOI":"10.4230\/LIPIcs.ICALP.2019.111"},{"key":"19_CR9","doi-asserted-by":"publisher","unstructured":"Farjudian, A., Moggi, E.: Robustness, Scott continuity, and computability. Math. Struct. Comput. Sci. 1\u201337 (2023). https:\/\/doi.org\/10.1017\/S0960129523000233","DOI":"10.1017\/S0960129523000233"},{"issue":"1","key":"19_CR10","doi-asserted-by":"publisher","first-page":"111","DOI":"10.1016\/S0304-3975(97)00236-3","volume":"177","author":"B Flagg","year":"1997","unstructured":"Flagg, B., Kopperman, R.: Continuity spaces: reconciling domains and metric spaces. Theoret. Comput. Sci. 177(1), 111\u2013138 (1997). https:\/\/doi.org\/10.1016\/S0304-3975(97)00236-3","journal-title":"Theoret. Comput. Sci."},{"key":"19_CR11","doi-asserted-by":"publisher","unstructured":"Gavazzo, F.: Quantitative behavioural reasoning for higher-order effectful programs: applicative distances. In: Dawar, A., Gr\u00e4del, E. (eds.) Proceedings of the 33rd Annual ACM\/IEEE Symposium on Logic in Computer Science, LICS 2018, pp. 452\u2013461. ACM (2018). https:\/\/doi.org\/10.1145\/3209108.3209149","DOI":"10.1145\/3209108.3209149"},{"key":"19_CR12","doi-asserted-by":"publisher","unstructured":"Gavazzo, F., Florio, C.D.: Elements of quantitative rewriting. Proc. ACM Program. Lang. 7(POPL), 1832\u20131863 (2023). https:\/\/doi.org\/10.1145\/3571256","DOI":"10.1145\/3571256"},{"key":"19_CR13","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-67678-9","volume-title":"A Compendium of Continuous Lattices","author":"G Gierz","year":"1980","unstructured":"Gierz, G., Hofmann, K.H., Keimel, K., Lawson, J.D., Mislove, M.W., Scott, D.S.: A Compendium of Continuous Lattices. Springer, Heidelberg (1980). https:\/\/doi.org\/10.1007\/978-3-642-67678-9"},{"key":"19_CR14","doi-asserted-by":"publisher","first-page":"50","DOI":"10.1007\/978-3-540-78499-9_5","volume":"4962","author":"J Goubault-Larrecq","year":"2008","unstructured":"Goubault-Larrecq, J.: Simulation hemi-metrics between infinite-state stochastic games. Lect. Notes Comput. Sci. 4962, 50\u201365 (2008)","journal-title":"Lect. Notes Comput. Sci."},{"key":"19_CR15","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9781139524438","volume-title":"Non-Hausdorff Topology and Domain Theory","author":"J Goubault-Larrecq","year":"2013","unstructured":"Goubault-Larrecq, J.: Non-Hausdorff Topology and Domain Theory. Cambridge University Press, Cambridge (2013)"},{"key":"19_CR16","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9781107517288","volume-title":"Monoidal Topology: A Categorical Approach to Order, Metric, and Topology","author":"D Hofmann","year":"2014","unstructured":"Hofmann, D., Seal, G.J., Tholen, W.: Monoidal Topology: A Categorical Approach to Order, Metric, and Topology, vol. 153. Cambridge University Press, Cambridge (2014)"},{"issue":"51\u201352","key":"19_CR17","doi-asserted-by":"publisher","first-page":"4441","DOI":"10.1016\/j.tcs.2010.09.011","volume":"411","author":"M Jaskelioff","year":"2010","unstructured":"Jaskelioff, M., Moggi, E.: Monad transformers as monoid transformers. Theoret. Comput. Sci. 411(51\u201352), 4441\u20134466 (2010)","journal-title":"Theoret. Comput. Sci."},{"key":"19_CR18","series-title":"Cambridge Studies in Advanced Mathematics","volume-title":"Stone Spaces","author":"PT Johnstone","year":"1986","unstructured":"Johnstone, P.T.: Stone Spaces. Cambridge Studies in Advanced Mathematics, vol. 3. Cambridge University Press, Cambridge (1986)"},{"key":"19_CR19","unstructured":"Kelly, M.: Basic Concepts of Enriched Category Theory, vol. 64. CUP Archive (1982). Reprints in Theory and Applications of Categories, no. 10 (2005)"},{"issue":"2","key":"19_CR20","doi-asserted-by":"publisher","first-page":"89","DOI":"10.1080\/00029890.1988.11971974","volume":"95","author":"R Kopperman","year":"1988","unstructured":"Kopperman, R.: All topologies come from generalized metrics. Am. Math. Mon. 95(2), 89\u201397 (1988)","journal-title":"Am. Math. Mon."},{"key":"19_CR21","doi-asserted-by":"crossref","unstructured":"Lawvere, F.W.: Metric spaces, generalized logic, and closed categories. Rendiconti seminario mat\u00e9matico fisico Milano 43, 135\u2013166 (1973). Reprints in Theory and Applications of Categories (1), 1\u201337 (2002)","DOI":"10.1007\/BF02924844"},{"key":"19_CR22","doi-asserted-by":"publisher","first-page":"75","DOI":"10.1016\/j.tcs.2018.06.020","volume":"747","author":"E Moggi","year":"2018","unstructured":"Moggi, E., Farjudian, A., Duracz, A., Taha, W.: Safe & robust reachability analysis of hybrid systems. Theor. Comput. Sci. 747, 75\u201399 (2018). https:\/\/doi.org\/10.1016\/j.tcs.2018.06.020","journal-title":"Theor. Comput. Sci."},{"key":"19_CR23","unstructured":"Moggi, E., Farjudian, A., Taha, W.: System analysis and robustness. In: Cherubini, A., Sabadini, N., Tini, S. (eds.) Proceedings of the 20th Italian Conference on Theoretical Computer Science, ICTCS 2019, Como, Italy, 9\u201311 September 2019. CEUR Workshop Proceedings, vol. 2504, pp.\u00a01\u20137. CEUR-WS.org (2019), http:\/\/ceur-ws.org\/Vol-2504\/paper1.pdf"},{"issue":"Suppl 12","key":"19_CR24","first-page":"99","volume":"2","author":"CJ Mulvey","year":"1986","unstructured":"Mulvey, C.J.: Second topology conference (Taormina, 1984). Rend. Circ. Mat. Palermo 2(Suppl 12), 99\u2013104 (1986)","journal-title":"Rend. Circ. Mat. Palermo"},{"issue":"2","key":"19_CR25","doi-asserted-by":"publisher","first-page":"215","DOI":"10.1017\/S0305004100065403","volume":"104","author":"SB Niefield","year":"1988","unstructured":"Niefield, S.B., Rosenthal, K.I.: Constructing locales from quantales. Math. Proc. Cambridge Philos. Soc. 104(2), 215\u2013234 (1988)","journal-title":"Math. Proc. Cambridge Philos. Soc."},{"key":"19_CR26","doi-asserted-by":"publisher","unstructured":"Pistone, P.: On generalized metric spaces for the simply typed lambda-calculus. In: 36th Annual ACM\/IEEE Symposium on Logic in Computer Science, LICS 2021, pp. 1\u201314. IEEE (2021). https:\/\/doi.org\/10.1109\/LICS52264.2021.9470696","DOI":"10.1109\/LICS52264.2021.9470696"},{"issue":"3","key":"19_CR27","doi-asserted-by":"publisher","first-page":"257","DOI":"10.1016\/0304-3975(77)90045-7","volume":"5","author":"MB Smyth","year":"1977","unstructured":"Smyth, M.B.: Effectively given domains. Theor. Comput. Sci. 5(3), 257\u2013274 (1977)","journal-title":"Theor. Comput. Sci."},{"issue":"6","key":"19_CR28","doi-asserted-by":"publisher","first-page":"1526","DOI":"10.1093\/logcom\/exab051","volume":"31","author":"D Sprunger","year":"2021","unstructured":"Sprunger, D., Katsumata, S., Dubut, J., Hasuo, I.: Fibrational bisimulations and quantitative reasoning: extended version. J. Log. Comput. 31(6), 1526\u20131559 (2021). https:\/\/doi.org\/10.1093\/logcom\/exab051","journal-title":"J. Log. Comput."}],"container-title":["Lecture Notes in Computer Science","Theoretical Aspects of Computing \u2013 ICTAC 2023"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-47963-2_19","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,11,22]],"date-time":"2023-11-22T21:43:26Z","timestamp":1700689406000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-47963-2_19"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023]]},"ISBN":["9783031479625","9783031479632"],"references-count":28,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-47963-2_19","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2023]]},"assertion":[{"value":"23 November 2023","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"ICTAC","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Colloquium on Theoretical Aspects of Computing","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Lima","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Peru","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2023","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"4 December 2023","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"8 December 2023","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"20","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"ictac2023","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/ictac2023.compsust.utec.edu.pe\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}