{"id":"https://openalex.org/W2169823769","doi":"https://doi.org/10.1051/ita:1999123","title":"Topologies, Continuity and Bisimulations","display_name":"Topologies, Continuity and Bisimulations","publication_year":1999,"publication_date":"1999-07-01","ids":{"openalex":"https://openalex.org/W2169823769","doi":"https://doi.org/10.1051/ita:1999123","mag":"2169823769"},"language":"en","primary_location":{"id":"doi:10.1051/ita:1999123","is_oa":false,"landing_page_url":"https://doi.org/10.1051/ita:1999123","pdf_url":null,"source":{"id":"https://openalex.org/S6941720","display_name":"RAIRO - Theoretical Informatics and Applications","issn_l":"0988-3754","issn":["0988-3754","1290-385X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319748","host_organization_name":"EDP Sciences","host_organization_lineage":["https://openalex.org/P4310319748"],"host_organization_lineage_names":["EDP Sciences"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"RAIRO - Theoretical Informatics and Applications","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://www.numdam.org/item/ITA_1999__33_4-5_357_0.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5091575568","display_name":"J.M. Davoren","orcid":"https://orcid.org/0000-0002-7028-6337"},"institutions":[{"id":"https://openalex.org/I118347636","display_name":"Australian National University","ror":"https://ror.org/019wvm592","country_code":"AU","type":"education","lineage":["https://openalex.org/I118347636"]},{"id":"https://openalex.org/I205783295","display_name":"Cornell University","ror":"https://ror.org/05bnh6r87","country_code":"US","type":"education","lineage":["https://openalex.org/I205783295"]}],"countries":["AU","US"],"is_corresponding":true,"raw_author_name":"J. M. Davoren","raw_affiliation_strings":["Center for Foundations of Intelligent Systems, 626 Rhodes Hall, Cornell University, Ithaca, NY 14853, U.S.A.; e-mail: davoren@hybrid.cornell.edu","June \u2013 Dec. 1999: Computer Sciences Laboratory, Research School of Information Sciences and Engineering, Australian National University, Canberra ACT 0200, Australia; e-mail: davoren@arp.anu.edu.au","June \u2013 Dec. 1999: Computer Sciences Laboratory, Research School of Information Sciences and Engineering, Australian National University, Canberra ACT 0200, Australia","Center for Foundations of Intelligent Systems, 626 Rhodes Hall, Cornell University, Ithaca, NY 14853, U.S.A"],"affiliations":[{"raw_affiliation_string":"Center for Foundations of Intelligent Systems, 626 Rhodes Hall, Cornell University, Ithaca, NY 14853, U.S.A.; e-mail: davoren@hybrid.cornell.edu","institution_ids":["https://openalex.org/I205783295"]},{"raw_affiliation_string":"June \u2013 Dec. 1999: Computer Sciences Laboratory, Research School of Information Sciences and Engineering, Australian National University, Canberra ACT 0200, Australia; e-mail: davoren@arp.anu.edu.au","institution_ids":["https://openalex.org/I118347636"]},{"raw_affiliation_string":"June \u2013 Dec. 1999: Computer Sciences Laboratory, Research School of Information Sciences and Engineering, Australian National University, Canberra ACT 0200, Australia","institution_ids":["https://openalex.org/I118347636"]},{"raw_affiliation_string":"Center for Foundations of Intelligent Systems, 626 Rhodes Hall, Cornell University, Ithaca, NY 14853, U.S.A","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5091575568"],"corresponding_institution_ids":["https://openalex.org/I118347636","https://openalex.org/I205783295"],"apc_list":null,"apc_paid":null,"fwci":3.4193,"has_fulltext":true,"cited_by_count":25,"citation_normalized_percentile":{"value":0.92765777,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":"33","issue":"4-5","first_page":"357","last_page":"381"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9997000098228455,"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.9997000098228455,"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.9966999888420105,"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/T10126","display_name":"Logic, programming, and type systems","score":0.9959999918937683,"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/bisimulation","display_name":"Bisimulation","score":0.8192739486694336},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.6687537431716919},{"id":"https://openalex.org/keywords/decidability","display_name":"Decidability","score":0.6065571904182434},{"id":"https://openalex.org/keywords/modal-logic","display_name":"Modal logic","score":0.5547027587890625},{"id":"https://openalex.org/keywords/topological-space","display_name":"Topological space","score":0.5017070770263672},{"id":"https://openalex.org/keywords/hausdorff-space","display_name":"Hausdorff space","score":0.491837739944458},{"id":"https://openalex.org/keywords/algebra-over-a-field","display_name":"Algebra over a field","score":0.4492180347442627},{"id":"https://openalex.org/keywords/topology","display_name":"Topology (electrical circuits)","score":0.42109215259552},{"id":"https://openalex.org/keywords/characterization","display_name":"Characterization (materials science)","score":0.4152417778968811},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.380229115486145},{"id":"https://openalex.org/keywords/modal","display_name":"Modal","score":0.3485431373119354},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.3403286933898926},{"id":"https://openalex.org/keywords/combinatorics","display_name":"Combinatorics","score":0.09639689326286316}],"concepts":[{"id":"https://openalex.org/C135315306","wikidata":"https://www.wikidata.org/wiki/Q866364","display_name":"Bisimulation","level":2,"score":0.8192739486694336},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.6687537431716919},{"id":"https://openalex.org/C153269930","wikidata":"https://www.wikidata.org/wiki/Q430001","display_name":"Decidability","level":2,"score":0.6065571904182434},{"id":"https://openalex.org/C27508121","wikidata":"https://www.wikidata.org/wiki/Q210841","display_name":"Modal logic","level":3,"score":0.5547027587890625},{"id":"https://openalex.org/C81332173","wikidata":"https://www.wikidata.org/wiki/Q179899","display_name":"Topological space","level":2,"score":0.5017070770263672},{"id":"https://openalex.org/C191399826","wikidata":"https://www.wikidata.org/wiki/Q326908","display_name":"Hausdorff space","level":2,"score":0.491837739944458},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.4492180347442627},{"id":"https://openalex.org/C184720557","wikidata":"https://www.wikidata.org/wiki/Q7825049","display_name":"Topology (electrical circuits)","level":2,"score":0.42109215259552},{"id":"https://openalex.org/C2780841128","wikidata":"https://www.wikidata.org/wiki/Q5073781","display_name":"Characterization (materials science)","level":2,"score":0.4152417778968811},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.380229115486145},{"id":"https://openalex.org/C71139939","wikidata":"https://www.wikidata.org/wiki/Q910194","display_name":"Modal","level":2,"score":0.3485431373119354},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.3403286933898926},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.09639689326286316},{"id":"https://openalex.org/C185592680","wikidata":"https://www.wikidata.org/wiki/Q2329","display_name":"Chemistry","level":0,"score":0.0},{"id":"https://openalex.org/C192562407","wikidata":"https://www.wikidata.org/wiki/Q228736","display_name":"Materials science","level":0,"score":0.0},{"id":"https://openalex.org/C171250308","wikidata":"https://www.wikidata.org/wiki/Q11468","display_name":"Nanotechnology","level":1,"score":0.0},{"id":"https://openalex.org/C188027245","wikidata":"https://www.wikidata.org/wiki/Q750446","display_name":"Polymer chemistry","level":1,"score":0.0}],"mesh":[],"locations_count":5,"locations":[{"id":"doi:10.1051/ita:1999123","is_oa":false,"landing_page_url":"https://doi.org/10.1051/ita:1999123","pdf_url":null,"source":{"id":"https://openalex.org/S6941720","display_name":"RAIRO - Theoretical Informatics and Applications","issn_l":"0988-3754","issn":["0988-3754","1290-385X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319748","host_organization_name":"EDP Sciences","host_organization_lineage":["https://openalex.org/P4310319748"],"host_organization_lineage_names":["EDP Sciences"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"RAIRO - Theoretical Informatics and Applications","raw_type":"journal-article"},{"id":"pmh:oai:numdam.org:ITA_1999__33_4-5_357_0","is_oa":true,"landing_page_url":"http://www.numdam.org/item/ITA_1999__33_4-5_357_0/","pdf_url":"https://www.numdam.org/item/ITA_1999__33_4-5_357_0.pdf","source":{"id":"https://openalex.org/S4306402264","display_name":"French digital mathematics library (Numdam)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I70900168","host_organization_name":"Universit\u00e9 Savoie Mont Blanc","host_organization_lineage":["https://openalex.org/I70900168"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Text"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.42.6043","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.42.6043","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://arp.anu.edu.au/~davoren/topcontbisim/topologies_continuity_bisimulations_ita9930.pdf","raw_type":"text"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.46.8497","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.46.8497","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://tarski.hybrid.cornell.edu/davoren/TopContBisim/topologies_continuity_bisimulations.ps","raw_type":"text"},{"id":"pmh:oai:openresearch-repository.anu.edu.au:1885/93931","is_oa":false,"landing_page_url":"http://hdl.handle.net/1885/93931","pdf_url":null,"source":{"id":"https://openalex.org/S4306402539","display_name":"ANU Open Research (Australian National University)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I118347636","host_organization_name":"Australian National University","host_organization_lineage":["https://openalex.org/I118347636"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Theoretical Informatics and Applications","raw_type":"Journal article"}],"best_oa_location":{"id":"pmh:oai:numdam.org:ITA_1999__33_4-5_357_0","is_oa":true,"landing_page_url":"http://www.numdam.org/item/ITA_1999__33_4-5_357_0/","pdf_url":"https://www.numdam.org/item/ITA_1999__33_4-5_357_0.pdf","source":{"id":"https://openalex.org/S4306402264","display_name":"French digital mathematics library (Numdam)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I70900168","host_organization_name":"Universit\u00e9 Savoie Mont Blanc","host_organization_lineage":["https://openalex.org/I70900168"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Text"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2169823769.pdf","grobid_xml":"https://content.openalex.org/works/W2169823769.grobid-xml"},"referenced_works_count":19,"referenced_works":["https://openalex.org/W1504756454","https://openalex.org/W1566115468","https://openalex.org/W1598695781","https://openalex.org/W1820785953","https://openalex.org/W1874725288","https://openalex.org/W1998217091","https://openalex.org/W2004463571","https://openalex.org/W2015640848","https://openalex.org/W2022932655","https://openalex.org/W2055960145","https://openalex.org/W2080427861","https://openalex.org/W2085838366","https://openalex.org/W2147340401","https://openalex.org/W2162052349","https://openalex.org/W2176705267","https://openalex.org/W2315064349","https://openalex.org/W2489001267","https://openalex.org/W2911432472","https://openalex.org/W4253288576"],"related_works":["https://openalex.org/W2107608134","https://openalex.org/W2136485937","https://openalex.org/W1554045856","https://openalex.org/W1598641851","https://openalex.org/W1965551437","https://openalex.org/W1601172863","https://openalex.org/W1514211561","https://openalex.org/W1550244413","https://openalex.org/W2125768798","https://openalex.org/W2393457982"],"abstract_inverted_index":{"The":[0,159],"notion":[1],"of":[2,7,13,36,47,63,66,78,81,88,112,133,141,154,171,177,190,194],"a":[3,25,85,98,142,175,191],"bisimulation":[4],"relation":[5,118],"is":[6,58],"basic":[8],"importance":[9],"in":[10,28,109,149],"many":[11],"areas":[12],"computation":[14],"theory":[15],"and":[16,34,92,116,185],"logic.":[17],"Of":[18],"late,":[19],"it":[20],"has":[21],"come":[22],"to":[23,59,100,119,167],"take":[24],"particular":[26],"significance":[27],"work":[29,111],"on":[30],"the":[31,48,64,70,73,95,102,106,120,150,164,169,188],"formal":[32],"analysis":[33,62],"verification":[35],"hybrid":[37,180],"control":[38],"systems,":[39,182],"where":[40],"system":[41],"properties":[42,173],"are":[43,76],"expressible":[44],"by":[45,162],"formulas":[46],"modal":[49],"\u03bc-calculus":[50,127,172],"or":[51],"weaker":[52],"temporal":[53],"logics.":[54],"Our":[55],"purpose":[56],"here":[57],"give":[60,84],"an":[61,134],"concept":[65],"bisimulation,":[67],"starting":[68],"with":[69],"observation":[71],"that":[72],"zig-zag":[74],"conditions":[75],"suggestive":[77],"some":[79],"form":[80],"continuity.":[82],"We":[83],"topological":[86,165],"characterization":[87,166],"bisimularity":[89],"for":[90,105,174],"preorders,":[91],"then":[93],"use":[94],"topology":[96],"as":[97,130,139,147],"route":[99],"examining":[101],"algebraic":[103],"semantics":[104],"\u00b5-calculus,":[107],"developed":[108],"recent":[110,192],"Kwiatkowska":[113],"et":[114,196],"al.,":[115],"its":[117],"standard":[121],"set-theoretic":[122],"semantics.":[123],"In":[124],"our":[125],"setting,":[126],"sentences":[128],"evaluate":[129],"clopen":[131],"sets":[132],"Alexandroff":[135],"topology,":[136,146],"rather":[137],"than":[138],"clopens":[140],"(compact,":[143],"Hausdorff)":[144],"Stone":[145,151],"arises":[148],"space":[152],"representation":[153],"Boolean":[155],"algebras":[156],"(with":[157],"operators).":[158],"paper":[160],"concludes":[161],"applying":[163],"obtain":[168],"decidability":[170],"class":[176],"first-order":[178],"definable":[179],"dynamical":[181],"slightly":[183],"extending":[184],"considerably":[186],"simplifying":[187],"proof":[189],"result":[193],"Lafferriere":[195],"al.":[197]},"counts_by_year":[{"year":2013,"cited_by_count":1},{"year":2012,"cited_by_count":1}],"updated_date":"2026-04-05T17:49:38.594831","created_date":"2025-10-10T00:00:00"}