{"id":"https://openalex.org/W2504671938","doi":"https://doi.org/10.23638/lmcs-13(3:27)2017","title":"Environmental Bisimulations for Delimited-Control Operators with Dynamic Prompt Generation","display_name":"Environmental Bisimulations for Delimited-Control Operators with Dynamic Prompt Generation","publication_year":2017,"publication_date":"2017-09-19","ids":{"openalex":"https://openalex.org/W2504671938","doi":"https://doi.org/10.23638/lmcs-13(3:27)2017","mag":"2504671938"},"language":"en","primary_location":{"id":"doi:10.23638/lmcs-13(3:27)2017","is_oa":true,"landing_page_url":"https://doi.org/10.23638/lmcs-13(3:27)2017","pdf_url":null,"source":{"id":"https://openalex.org/S114379355","display_name":"Logical Methods in Computer Science","issn_l":"1860-5974","issn":["1860-5974"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310313916","host_organization_name":"Logical Methods in Computer Science e.V.","host_organization_lineage":["https://openalex.org/P4310313916"],"host_organization_lineage_names":["Logical Methods in Computer Science e.V."],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Logical Methods in Computer Science","raw_type":"journal-article"},"type":"article","indexed_in":["crossref","datacite","doaj"],"open_access":{"is_oa":true,"oa_status":"diamond","oa_url":"https://doi.org/10.23638/lmcs-13(3:27)2017","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5022940120","display_name":"Andr\u00e9s Aristiz\u00e1bal","orcid":"https://orcid.org/0000-0002-9658-4156"},"institutions":[{"id":"https://openalex.org/I76842071","display_name":"Icesi University","ror":"https://ror.org/02t54e151","country_code":"CO","type":"education","lineage":["https://openalex.org/I76842071"]}],"countries":["CO"],"is_corresponding":true,"raw_author_name":"Andr\u00e9s Aristiz\u00e1bal","raw_affiliation_strings":["Universidad Icesi"],"affiliations":[{"raw_affiliation_string":"Universidad Icesi","institution_ids":["https://openalex.org/I76842071"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5083683038","display_name":"Dariusz Biernacki","orcid":"https://orcid.org/0000-0002-1477-4635"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Dariusz Biernacki","raw_affiliation_strings":["Faculty of Mathematics and Computer Science [Wroclaw]"],"affiliations":[{"raw_affiliation_string":"Faculty of Mathematics and Computer Science [Wroclaw]","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5018745484","display_name":"Sergue\u00ef Lenglet","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Sergue\u00ef Lenglet","raw_affiliation_strings":["Proof-oriented development of computer-based systems"],"affiliations":[{"raw_affiliation_string":"Proof-oriented development of computer-based systems","institution_ids":[]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5070813957","display_name":"Piotr Polesiuk","orcid":"https://orcid.org/0000-0002-7012-4346"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Piotr Polesiuk","raw_affiliation_strings":["Faculty of Mathematics and Computer Science [Wroclaw]"],"affiliations":[{"raw_affiliation_string":"Faculty of Mathematics and Computer Science [Wroclaw]","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5022940120"],"corresponding_institution_ids":["https://openalex.org/I76842071"],"apc_list":null,"apc_paid":null,"fwci":0.4158,"has_fulltext":true,"cited_by_count":2,"citation_normalized_percentile":{"value":0.70189027,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":94},"biblio":{"volume":"Volume 13, Issue 3","issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.7210999727249146,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.7210999727249146,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.24539999663829803,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.019700000062584877,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5527665019035339},{"id":"https://openalex.org/keywords/control","display_name":"Control (management)","score":0.5206764936447144},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.09504672884941101}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5527665019035339},{"id":"https://openalex.org/C2775924081","wikidata":"https://www.wikidata.org/wiki/Q55608371","display_name":"Control (management)","level":2,"score":0.5206764936447144},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.09504672884941101}],"mesh":[],"locations_count":8,"locations":[{"id":"doi:10.23638/lmcs-13(3:27)2017","is_oa":true,"landing_page_url":"https://doi.org/10.23638/lmcs-13(3:27)2017","pdf_url":null,"source":{"id":"https://openalex.org/S114379355","display_name":"Logical Methods in Computer Science","issn_l":"1860-5974","issn":["1860-5974"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310313916","host_organization_name":"Logical Methods in Computer Science e.V.","host_organization_lineage":["https://openalex.org/P4310313916"],"host_organization_lineage_names":["Logical Methods in Computer Science e.V."],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Logical Methods in Computer Science","raw_type":"journal-article"},{"id":"pmh:oai:drops-oai.dagstuhl.de:5975","is_oa":true,"landing_page_url":"https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSCD.2016.9","pdf_url":null,"source":{"id":"https://openalex.org/S4377196569","display_name":"DROPS (Schloss Dagstuhl \u2013 Leibniz Center for Informatics)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I2799853480","host_organization_name":"Schloss Dagstuhl \u2013 Leibniz Center for Informatics","host_organization_lineage":["https://openalex.org/I2799853480"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"","raw_type":"InProceedings"},{"id":"pmh:oai:HAL:hal-01305137v4","is_oa":false,"landing_page_url":"https://inria.hal.science/hal-01305137","pdf_url":null,"source":{"id":"https://openalex.org/S4406922474","display_name":"SPIRE - Sciences Po Institutional REpository","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"[Research Report] RR-8905, Inria. 2016","raw_type":"Reports"},{"id":"pmh:oai:HAL:hal-01335959v1","is_oa":false,"landing_page_url":"https://inria.hal.science/hal-01335959","pdf_url":null,"source":{"id":"https://openalex.org/S4406922461","display_name":"SPIRE - Sciences Po Institutional REpository","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"1st International Conference on Formal Structures for Computation and Deduction (FSCD 2016), Jun 2016, Porto, Portugal. ⟨10.4230/LIPIcs.FSCD.2016.9⟩","raw_type":"Conference papers"},{"id":"pmh:oai:HAL:hal-01590620v1","is_oa":false,"landing_page_url":"https://inria.hal.science/hal-01590620","pdf_url":null,"source":{"id":"https://openalex.org/S4406922466","display_name":"SPIRE - Sciences Po Institutional REpository","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Logical Methods in Computer Science, 2017, 13 (3), ⟨10.23638/LMCS-13(3:27)2017⟩","raw_type":"Journal articles"},{"id":"pmh:oai:doaj.org/article:40b0d2a723cf4dca87cf606c6cce6a6e","is_oa":true,"landing_page_url":"https://doaj.org/article/40b0d2a723cf4dca87cf606c6cce6a6e","pdf_url":null,"source":{"id":"https://openalex.org/S112646816","display_name":"SHILAP Revista de lepidopterolog\u00eda","issn_l":"0300-5267","issn":["0300-5267","2340-4078"],"is_oa":true,"is_in_doaj":true,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":"cc-by-sa","license_id":"https://openalex.org/licenses/cc-by-sa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Logical Methods in Computer Science, Vol Volume 13, Issue 3 (2017)","raw_type":"article"},{"id":"doi:10.48550/arxiv.1611.09626","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.1611.09626","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"article-journal"},{"id":"doi:10.4230/lipics.fscd.2016.9","is_oa":true,"landing_page_url":"https://doi.org/10.4230/lipics.fscd.2016.9","pdf_url":null,"source":{"id":"https://openalex.org/S7407052059","display_name":"Dagstuhl Research Online Publication Server","issn_l":null,"issn":[],"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":""}],"best_oa_location":{"id":"doi:10.23638/lmcs-13(3:27)2017","is_oa":true,"landing_page_url":"https://doi.org/10.23638/lmcs-13(3:27)2017","pdf_url":null,"source":{"id":"https://openalex.org/S114379355","display_name":"Logical Methods in Computer Science","issn_l":"1860-5974","issn":["1860-5974"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310313916","host_organization_name":"Logical Methods in Computer Science e.V.","host_organization_lineage":["https://openalex.org/P4310313916"],"host_organization_lineage_names":["Logical Methods in Computer Science e.V."],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Logical Methods in Computer Science","raw_type":"journal-article"},"sustainable_development_goals":[{"display_name":"Life in Land","id":"https://metadata.un.org/sdg/15","score":0.7099999785423279}],"awards":[],"funders":[{"id":"https://openalex.org/F4320322650","display_name":"Narodowym Centrum Nauki","ror":"https://ror.org/03ha2q922"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":24,"referenced_works":["https://openalex.org/W142142968","https://openalex.org/W800882761","https://openalex.org/W1495872178","https://openalex.org/W1569805491","https://openalex.org/W1596161732","https://openalex.org/W1808214913","https://openalex.org/W1847926715","https://openalex.org/W1992124283","https://openalex.org/W2022114508","https://openalex.org/W2041122221","https://openalex.org/W2085080904","https://openalex.org/W2092112509","https://openalex.org/W2096216741","https://openalex.org/W2119464086","https://openalex.org/W2125379835","https://openalex.org/W2132416076","https://openalex.org/W2140892577","https://openalex.org/W2151265449","https://openalex.org/W2153128836","https://openalex.org/W2294422796","https://openalex.org/W2474004255","https://openalex.org/W2950284239","https://openalex.org/W2953319474","https://openalex.org/W3105695071"],"related_works":["https://openalex.org/W2899084033","https://openalex.org/W2748952813","https://openalex.org/W2390279801","https://openalex.org/W2358668433","https://openalex.org/W2093578348","https://openalex.org/W2376932109","https://openalex.org/W2382290278","https://openalex.org/W2049775471","https://openalex.org/W2350741829","https://openalex.org/W2018297885"],"abstract_inverted_index":{"We":[0,71],"present":[1],"sound":[2],"and":[3,30,63,97],"complete":[4],"environmental":[5,80],"bisimilarities":[6],"for":[7,35,60],"a":[8,95],"variant":[9],"of":[10,15,65,86,107],"Dybvig":[11],"et":[12,55],"al.'s":[13,56],"calculus":[14],"multi-prompted":[16],"delimited-control":[17],"operators":[18],"with":[19,41],"dynamic":[20],"prompt":[21],"generation.":[22],"The":[23,45],"reasoning":[24],"principles":[25],"that":[26,48,58,82],"we":[27,49],"obtain":[28],"generalize":[29,73],"advance":[31],"the":[32,74,105],"existing":[33],"techniques":[34,67],"establishing":[36],"program":[37],"equivalence":[38,84],"in":[39,76,104],"calculi":[40],"single-prompted":[42],"delimited":[43],"control.":[44],"basic":[46],"theory":[47],"develop":[50],"is":[51],"presented":[52],"using":[53],"Madiot":[54],"framework":[57,75],"allows":[59],"smooth":[61],"integration":[62],"composition":[64],"up-to":[66,99],"facilitating":[68],"bisimulation":[69,102],"proofs.":[70],"also":[72],"order":[77],"to":[78,94],"express":[79],"bisimulations":[81],"support":[83],"proofs":[85,103],"evaluation":[87],"contexts":[88],"representing":[89],"continuations.":[90],"This":[91],"change":[92],"leads":[93],"novel":[96],"powerful":[98],"technique":[100],"enhancing":[101],"presence":[106],"control":[108],"operators.":[109]},"counts_by_year":[{"year":2019,"cited_by_count":1},{"year":2018,"cited_by_count":1}],"updated_date":"2026-04-22T08:38:42.863108","created_date":"2025-10-10T00:00:00"}