{"id":"https://openalex.org/W1842129829","doi":"https://doi.org/10.4230/lipics.concur.2015.240","title":"Lax Bialgebras and Up-To Techniques for Weak Bisimulations","display_name":"Lax Bialgebras and Up-To Techniques for Weak Bisimulations","publication_year":2015,"publication_date":"2015-09-01","ids":{"openalex":"https://openalex.org/W1842129829","doi":"https://doi.org/10.4230/lipics.concur.2015.240","mag":"1842129829"},"language":"en","primary_location":{"is_oa":false,"landing_page_url":"https://hal.science/hal-01285299","pdf_url":null,"source":{"id":"https://openalex.org/S4306402512","display_name":"HAL (Le Centre pour la Communication Scientifique Directe)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1294671590","host_organization_name":"Centre National de la Recherche Scientifique","host_organization_lineage":["https://openalex.org/I1294671590"],"host_organization_lineage_names":["Centre National de la Recherche Scientifique"],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false},"type":"preprint","type_crossref":"proceedings-article","indexed_in":[],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://drops.dagstuhl.de/opus/volltexte/2015/5370/pdf/10.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5004609161","display_name":"Filippo Bonchi","orcid":"https://orcid.org/0000-0002-3433-723X"},"institutions":[{"id":"https://openalex.org/I4210144566","display_name":"Laboratoire de l'Informatique du Parall\u00e9lisme","ror":"https://ror.org/04msnz457","country_code":"FR","type":"facility","lineage":["https://openalex.org/I100532134","https://openalex.org/I113428412","https://openalex.org/I1294671590","https://openalex.org/I203339264","https://openalex.org/I4210144566","https://openalex.org/I4210159245"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Filippo Bonchi","raw_affiliation_strings":["LIP - Laboratoire de l'Informatique du Parall\u00e9lisme (46 All\u00e9e d'Italie 69364 LYON CEDEX 07 - France)","PLUME - Preuves et Langages (France)"],"affiliations":[{"raw_affiliation_string":"LIP - Laboratoire de l'Informatique du Parall\u00e9lisme (46 All\u00e9e d'Italie 69364 LYON CEDEX 07 - France)","institution_ids":["https://openalex.org/I4210144566"]},{"raw_affiliation_string":"PLUME - Preuves et Langages (France)","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5087070796","display_name":"Daniela Petri\u015fan","orcid":null},"institutions":[{"id":"https://openalex.org/I145872427","display_name":"Radboud University Nijmegen","ror":"https://ror.org/016xsfp80","country_code":"NL","type":"education","lineage":["https://openalex.org/I145872427"]},{"id":"https://openalex.org/I4210144566","display_name":"Laboratoire de l'Informatique du Parall\u00e9lisme","ror":"https://ror.org/04msnz457","country_code":"FR","type":"facility","lineage":["https://openalex.org/I100532134","https://openalex.org/I113428412","https://openalex.org/I1294671590","https://openalex.org/I203339264","https://openalex.org/I4210144566","https://openalex.org/I4210159245"]}],"countries":["FR","NL"],"is_corresponding":false,"raw_author_name":"Daniela Petrisan","raw_affiliation_strings":["LIP - Laboratoire de l'Informatique du Parall\u00e9lisme (46 All\u00e9e d'Italie 69364 LYON CEDEX 07 - France)","PLUME - Preuves et Langages (France)","Radboud University [Nijmegen] (Houtlaan 4, \r\n6525 XZ Nijmegen - Netherlands)"],"affiliations":[{"raw_affiliation_string":"Radboud University [Nijmegen] (Houtlaan 4, \r\n6525 XZ Nijmegen - Netherlands)","institution_ids":["https://openalex.org/I145872427"]},{"raw_affiliation_string":"LIP - Laboratoire de l'Informatique du Parall\u00e9lisme (46 All\u00e9e d'Italie 69364 LYON CEDEX 07 - France)","institution_ids":["https://openalex.org/I4210144566"]},{"raw_affiliation_string":"PLUME - Preuves et Langages (France)","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5084356882","display_name":"Damien Pous","orcid":"https://orcid.org/0000-0002-1220-4399"},"institutions":[{"id":"https://openalex.org/I4210144566","display_name":"Laboratoire de l'Informatique du Parall\u00e9lisme","ror":"https://ror.org/04msnz457","country_code":"FR","type":"facility","lineage":["https://openalex.org/I100532134","https://openalex.org/I113428412","https://openalex.org/I1294671590","https://openalex.org/I203339264","https://openalex.org/I4210144566","https://openalex.org/I4210159245"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Damien Pous","raw_affiliation_strings":["LIP - Laboratoire de l'Informatique du Parall\u00e9lisme (46 All\u00e9e d'Italie 69364 LYON CEDEX 07 - France)","PLUME - Preuves et Langages (France)"],"affiliations":[{"raw_affiliation_string":"LIP - Laboratoire de l'Informatique du Parall\u00e9lisme (46 All\u00e9e d'Italie 69364 LYON CEDEX 07 - France)","institution_ids":["https://openalex.org/I4210144566"]},{"raw_affiliation_string":"PLUME - Preuves et Langages (France)","institution_ids":[]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5015520868","display_name":"Jurriaan Rot","orcid":"https://orcid.org/0000-0002-1404-6232"},"institutions":[{"id":"https://openalex.org/I121797337","display_name":"Leiden University","ror":"https://ror.org/027bh9e22","country_code":"NL","type":"education","lineage":["https://openalex.org/I121797337"]}],"countries":["NL"],"is_corresponding":false,"raw_author_name":"Jurriaan Rot","raw_affiliation_strings":["LIACS - Leiden Institute of Advanced Computer Science [Leiden] ( Niels Bohrweg 1 2333 CA Leiden - Netherlands)"],"affiliations":[{"raw_affiliation_string":"LIACS - Leiden Institute of Advanced Computer Science [Leiden] ( Niels Bohrweg 1 2333 CA Leiden - Netherlands)","institution_ids":["https://openalex.org/I121797337"]}]}],"institution_assertions":[],"countries_distinct_count":2,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":8,"citation_normalized_percentile":{"value":0.939963,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":84,"max":85},"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9997,"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"}},"topics":[{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9997,"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/T10126","display_name":"Logic, programming, and type systems","score":0.9995,"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/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9983,"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/soundness","display_name":"Soundness","score":0.8943846},{"id":"https://openalex.org/keywords/coinduction","display_name":"Coinduction","score":0.5700004},{"id":"https://openalex.org/keywords/bisimulation","display_name":"Bisimulation","score":0.5655148},{"id":"https://openalex.org/keywords/closure","display_name":"Closure (psychology)","score":0.42447373},{"id":"https://openalex.org/keywords/congruence","display_name":"Congruence (geometry)","score":0.41602212}],"concepts":[{"id":"https://openalex.org/C39920170","wikidata":"https://www.wikidata.org/wiki/Q693083","display_name":"Soundness","level":2,"score":0.8943846},{"id":"https://openalex.org/C108710211","wikidata":"https://www.wikidata.org/wiki/Q11538","display_name":"Mathematical proof","level":2,"score":0.7667331},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6602162},{"id":"https://openalex.org/C2780069185","wikidata":"https://www.wikidata.org/wiki/Q7977945","display_name":"Equivalence (formal languages)","level":2,"score":0.65842843},{"id":"https://openalex.org/C40220748","wikidata":"https://www.wikidata.org/wiki/Q4227156","display_name":"Coinduction","level":3,"score":0.5700004},{"id":"https://openalex.org/C135315306","wikidata":"https://www.wikidata.org/wiki/Q866364","display_name":"Bisimulation","level":2,"score":0.5655148},{"id":"https://openalex.org/C2779343474","wikidata":"https://www.wikidata.org/wiki/Q3109175","display_name":"Context (archaeology)","level":2,"score":0.517474},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.5071635},{"id":"https://openalex.org/C146834321","wikidata":"https://www.wikidata.org/wiki/Q2979672","display_name":"Closure (psychology)","level":2,"score":0.42447373},{"id":"https://openalex.org/C132074034","wikidata":"https://www.wikidata.org/wiki/Q154210","display_name":"Congruence (geometry)","level":2,"score":0.41602212},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.3436768},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.2803781},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.17993832},{"id":"https://openalex.org/C151730666","wikidata":"https://www.wikidata.org/wiki/Q7205","display_name":"Paleontology","level":1,"score":0.0},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0},{"id":"https://openalex.org/C162324750","wikidata":"https://www.wikidata.org/wiki/Q8134","display_name":"Economics","level":0,"score":0.0},{"id":"https://openalex.org/C34447519","wikidata":"https://www.wikidata.org/wiki/Q179522","display_name":"Market economy","level":1,"score":0.0},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0}],"mesh":[],"locations_count":4,"locations":[{"is_oa":false,"landing_page_url":"https://hal.science/hal-01285299","pdf_url":null,"source":{"id":"https://openalex.org/S4306402512","display_name":"HAL (Le Centre pour la Communication Scientifique Directe)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1294671590","host_organization_name":"Centre National de la Recherche Scientifique","host_organization_lineage":["https://openalex.org/I1294671590"],"host_organization_lineage_names":["Centre National de la Recherche Scientifique"],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false},{"is_oa":false,"landing_page_url":"https://hal.archives-ouvertes.fr/hal-01285299","pdf_url":null,"source":{"id":"https://openalex.org/S4306402512","display_name":"HAL (Le Centre pour la Communication Scientifique Directe)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1294671590","host_organization_name":"Centre National de la Recherche Scientifique","host_organization_lineage":["https://openalex.org/I1294671590"],"host_organization_lineage_names":["Centre National de la Recherche Scientifique"],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false},{"is_oa":true,"landing_page_url":"https://drops.dagstuhl.de/opus/volltexte/2015/5370/","pdf_url":"https://drops.dagstuhl.de/opus/volltexte/2015/5370/pdf/10.pdf","source":{"id":"https://openalex.org/S4306402524","display_name":"Leibniz-Zentrum f\u00fcr Informatik (Schloss Dagstuhl)","issn_l":null,"issn":null,"is_oa":true,"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":["Schloss Dagstuhl \u2013 Leibniz Center for Informatics"],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true},{"is_oa":true,"landing_page_url":"http://hdl.handle.net/2066/143743","pdf_url":"https://repository.ubn.ru.nl/bitstream/handle/2066/143743/1/143743.pdf","source":{"id":"https://openalex.org/S4306401068","display_name":"Radboud Repository (Radboud University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I145872427","host_organization_name":"Radboud University Nijmegen","host_organization_lineage":["https://openalex.org/I145872427"],"host_organization_lineage_names":["Radboud University Nijmegen"],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false}],"best_oa_location":{"is_oa":true,"landing_page_url":"https://drops.dagstuhl.de/opus/volltexte/2015/5370/","pdf_url":"https://drops.dagstuhl.de/opus/volltexte/2015/5370/pdf/10.pdf","source":{"id":"https://openalex.org/S4306402524","display_name":"Leibniz-Zentrum f\u00fcr Informatik (Schloss Dagstuhl)","issn_l":null,"issn":null,"is_oa":true,"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":["Schloss Dagstuhl \u2013 Leibniz Center for Informatics"],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true},"sustainable_development_goals":[],"grants":[],"datasets":[],"versions":[],"referenced_works_count":23,"referenced_works":["https://openalex.org/W1495872178","https://openalex.org/W1499210811","https://openalex.org/W1503973138","https://openalex.org/W1512082605","https://openalex.org/W1539196615","https://openalex.org/W1600537467","https://openalex.org/W1859786385","https://openalex.org/W1966112122","https://openalex.org/W1969279113","https://openalex.org/W1985161650","https://openalex.org/W2007281030","https://openalex.org/W2014364142","https://openalex.org/W2041561080","https://openalex.org/W2070157304","https://openalex.org/W2077019667","https://openalex.org/W2086788473","https://openalex.org/W2101032471","https://openalex.org/W2104717233","https://openalex.org/W2104917880","https://openalex.org/W3021003119","https://openalex.org/W369805404","https://openalex.org/W56167739","https://openalex.org/W814461068"],"related_works":["https://openalex.org/W2950202488","https://openalex.org/W2604424424","https://openalex.org/W2603068949","https://openalex.org/W2518082944","https://openalex.org/W2468444917","https://openalex.org/W2463782052","https://openalex.org/W2006026732","https://openalex.org/W1562440999","https://openalex.org/W1541732450","https://openalex.org/W1488076266"],"abstract_inverted_index":{"Up-to":[0],"techniques":[1],"are":[2],"useful":[3],"tools":[4],"for":[5,60],"optimising":[6],"proofs":[7],"of":[8,11,56,63,77],"behavioural":[9],"equivalence":[10],"processes.":[12],"Bisimulations":[13],"up-to":[14,57],"context":[15],"can":[16],"be":[17],"safely":[18],"used":[19],"in":[20,31],"any":[21],"language":[22],"specified":[23,65],"by":[24,35,40,66,72],"GSOS":[25],"rules.":[26],"We":[27],"showed":[28],"this":[29,50],"result":[30],"a":[32],"previous":[33],"paper":[34],"exploiting":[36],"the":[37,54,81],"well-known":[38],"observation":[39],"Turi":[41],"and":[42],"Plotkin":[43],"that":[44],"such":[45,87],"languages":[46],"form":[47],"bialgebras.":[48,98],"In":[49],"paper,":[51],"we":[52,104],"prove":[53],"soundness":[55],"contextual":[58],"closure":[59],"weak":[61,78,82],"bisimulations":[62],"systems":[64,84],"cool":[67,88],"rule":[68],"formats,":[69],"as":[70],"defined":[71],"Bloom":[73],"to":[74,92,97,100,111],"ensure":[75],"congruence":[76],"bisimilarity.":[79],"However,":[80],"transition":[83],"obtained":[85],"from":[86],"rules":[89],"give":[90],"rise":[91],"lax":[93],"bialgebras,":[94],"rather":[95],"than":[96],"Hence,":[99],"reach":[101],"our":[102,106],"goal,":[103],"extend":[105],"previously":[107],"developed":[108],"categorical":[109],"framework":[110],"an":[112],"ordered":[113],"setting.":[114]},"cited_by_api_url":"https://api.openalex.org/works?filter=cites:W1842129829","counts_by_year":[{"year":2024,"cited_by_count":1},{"year":2023,"cited_by_count":1},{"year":2020,"cited_by_count":2},{"year":2016,"cited_by_count":3}],"updated_date":"2025-01-19T20:38:01.873693","created_date":"2016-06-24"}