{"id":"https://openalex.org/W2156746546","doi":"https://doi.org/10.1109/cdc.2005.1582257","title":"Bisimulation as congruence in the behavioral setting","display_name":"Bisimulation as congruence in the behavioral setting","publication_year":2006,"publication_date":"2006-10-04","ids":{"openalex":"https://openalex.org/W2156746546","doi":"https://doi.org/10.1109/cdc.2005.1582257","mag":"2156746546"},"language":"en","primary_location":{"id":"doi:10.1109/cdc.2005.1582257","is_oa":false,"landing_page_url":"https://doi.org/10.1109/cdc.2005.1582257","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 44th IEEE Conference on Decision and Control","raw_type":"proceedings-article"},"type":"conference-paper","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://research.rug.nl/en/publications/9644459f-ac6c-4353-8656-6b592a4e8234","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5029921181","display_name":"A. Agung Julius","orcid":"https://orcid.org/0000-0002-0970-3226"},"institutions":[{"id":"https://openalex.org/I79576946","display_name":"University of Pennsylvania","ror":"https://ror.org/00b30xv10","country_code":"US","type":"education","lineage":["https://openalex.org/I79576946"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"A.A. Julius","raw_affiliation_strings":["Department Electrical and Systems Engineering, University of Pennsylvania, Philadelphia, PA, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department Electrical and Systems Engineering, University of Pennsylvania, Philadelphia, PA, USA","institution_ids":["https://openalex.org/I79576946"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5005018540","display_name":"Arjan van der Schaft","orcid":"https://orcid.org/0000-0002-2383-9234"},"institutions":[{"id":"https://openalex.org/I94624287","display_name":"University of Twente","ror":"https://ror.org/006hf6230","country_code":"NL","type":"education","lineage":["https://openalex.org/I94624287"]}],"countries":["NL"],"is_corresponding":false,"raw_author_name":"A.J. van der Schaft","raw_affiliation_strings":["Department Applied Mathematics, University of Twente, Enschede, Netherlands"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department Applied Mathematics, University of Twente, Enschede, Netherlands","institution_ids":["https://openalex.org/I94624287"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":true,"cited_by_count":9,"citation_normalized_percentile":{"value":0.22375102,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":98},"biblio":{"volume":null,"issue":null,"first_page":"814","last_page":"819"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9993000030517578,"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.9993000030517578,"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/T11125","display_name":"Petri Nets in System Modeling","score":0.9987000226974487,"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.9926999807357788,"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.9757118225097656},{"id":"https://openalex.org/keywords/congruence","display_name":"Congruence (geometry)","score":0.8989772796630859},{"id":"https://openalex.org/keywords/operator","display_name":"Operator (biology)","score":0.541902482509613},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.5240433812141418},{"id":"https://openalex.org/keywords/field","display_name":"Field (mathematics)","score":0.44817718863487244},{"id":"https://openalex.org/keywords/concurrency","display_name":"Concurrency","score":0.4447312653064728},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.4376333951950073},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.3966929316520691},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.37859460711479187},{"id":"https://openalex.org/keywords/algebra-over-a-field","display_name":"Algebra over a field","score":0.3709472417831421},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.13750678300857544},{"id":"https://openalex.org/keywords/geometry","display_name":"Geometry","score":0.053080201148986816},{"id":"https://openalex.org/keywords/biology","display_name":"Biology","score":0.05168282985687256}],"concepts":[{"id":"https://openalex.org/C135315306","wikidata":"https://www.wikidata.org/wiki/Q866364","display_name":"Bisimulation","level":2,"score":0.9757118225097656},{"id":"https://openalex.org/C132074034","wikidata":"https://www.wikidata.org/wiki/Q154210","display_name":"Congruence (geometry)","level":2,"score":0.8989772796630859},{"id":"https://openalex.org/C17020691","wikidata":"https://www.wikidata.org/wiki/Q139677","display_name":"Operator (biology)","level":5,"score":0.541902482509613},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.5240433812141418},{"id":"https://openalex.org/C9652623","wikidata":"https://www.wikidata.org/wiki/Q190109","display_name":"Field (mathematics)","level":2,"score":0.44817718863487244},{"id":"https://openalex.org/C193702766","wikidata":"https://www.wikidata.org/wiki/Q1414548","display_name":"Concurrency","level":2,"score":0.4447312653064728},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.4376333951950073},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.3966929316520691},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.37859460711479187},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.3709472417831421},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.13750678300857544},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.053080201148986816},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.05168282985687256},{"id":"https://openalex.org/C86339819","wikidata":"https://www.wikidata.org/wiki/Q407384","display_name":"Transcription factor","level":3,"score":0.0},{"id":"https://openalex.org/C55493867","wikidata":"https://www.wikidata.org/wiki/Q7094","display_name":"Biochemistry","level":1,"score":0.0},{"id":"https://openalex.org/C104317684","wikidata":"https://www.wikidata.org/wiki/Q7187","display_name":"Gene","level":2,"score":0.0},{"id":"https://openalex.org/C158448853","wikidata":"https://www.wikidata.org/wiki/Q425218","display_name":"Repressor","level":4,"score":0.0}],"mesh":[],"locations_count":5,"locations":[{"id":"doi:10.1109/cdc.2005.1582257","is_oa":false,"landing_page_url":"https://doi.org/10.1109/cdc.2005.1582257","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 44th IEEE Conference on Decision and Control","raw_type":"proceedings-article"},{"id":"pmh:oai:pure.rug.nl:openaire/9644459f-ac6c-4353-8656-6b592a4e8234","is_oa":true,"landing_page_url":"https://research.rug.nl/en/publications/9644459f-ac6c-4353-8656-6b592a4e8234","pdf_url":null,"source":{"id":"https://openalex.org/S4306400420","display_name":"University of Groningen research database (University of Groningen / Centre for Information Technology)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I169381384","host_organization_name":"University of Groningen","host_organization_lineage":["https://openalex.org/I169381384"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Julius, A A & Schaft, A J V D 2005, Bisimulation as congruence in the behavioral setting. in Proceedings of the 44th IEEE Conference on Decision and Control, and European Control Conference, 2005. University of Groningen, Johann Bernoulli Institute for Mathematics and Computer Science.","raw_type":"info:eu-repo/semantics/publishedVersion"},{"id":"pmh:oai:ris.utwente.nl:publications/b176e710-d844-4f6c-86c4-60a1bcd96e76","is_oa":true,"landing_page_url":"https://research.utwente.nl/en/publications/b176e710-d844-4f6c-86c4-60a1bcd96e76","pdf_url":"https://ris.utwente.nl/ws/files/5337779/IEEEXplore.pdf","source":{"id":"https://openalex.org/S4406922991","display_name":"University of Twente Research Information","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":"Anak Agung Julius, A A J & van der Schaft, A 2005, Bisimulation as congruence in the behavioral setting. in Proceedings of the 44th IEEE Conference on Decision and Control and the 2005 European Control Conference (CDC-ECC '05)., 10.1109/CDC.2005.1582257, IEEE, Seville, pp. 814-819, 44th Conference on Decision and Control, and 2005 European Control Conference, CDC-ECC 2005, Seville, Spain, 12/12/05. https://doi.org/10.1109/CDC.2005.1582257","raw_type":"info:eu-repo/semantics/conferenceObject"},{"id":"pmh:oai:repository.upenn.edu:ese_papers-1594","is_oa":false,"landing_page_url":"https://repository.upenn.edu/ese_papers/553","pdf_url":null,"source":{"id":"https://openalex.org/S4377196331","display_name":"Scholarly Commons (University of Pennsylvania)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I79576946","host_organization_name":"University of Pennsylvania","host_organization_lineage":["https://openalex.org/I79576946"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Departmental Papers (ESE)","raw_type":"text"},{"id":"pmh:oai:ris.utwente.nl:publications/b176e710-d844-4f6c-86c4-60a1bcd96e76","is_oa":false,"landing_page_url":null,"pdf_url":null,"source":{"id":"https://openalex.org/S4406922991","display_name":"University of Twente Research Information","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":"","raw_type":""}],"best_oa_location":{"id":"pmh:oai:pure.rug.nl:openaire/9644459f-ac6c-4353-8656-6b592a4e8234","is_oa":true,"landing_page_url":"https://research.rug.nl/en/publications/9644459f-ac6c-4353-8656-6b592a4e8234","pdf_url":null,"source":{"id":"https://openalex.org/S4306400420","display_name":"University of Groningen research database (University of Groningen / Centre for Information Technology)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I169381384","host_organization_name":"University of Groningen","host_organization_lineage":["https://openalex.org/I169381384"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Julius, A A & Schaft, A J V D 2005, Bisimulation as congruence in the behavioral setting. in Proceedings of the 44th IEEE Conference on Decision and Control, and European Control Conference, 2005. University of Groningen, Johann Bernoulli Institute for Mathematics and Computer Science.","raw_type":"info:eu-repo/semantics/publishedVersion"},"sustainable_development_goals":[{"score":0.47999998927116394,"id":"https://metadata.un.org/sdg/10","display_name":"Reduced inequalities"}],"awards":[],"funders":[{"id":"https://openalex.org/F4320321015","display_name":"University of Twente","ror":"https://ror.org/006hf6230"},{"id":"https://openalex.org/F4320321800","display_name":"Nederlandse Organisatie voor Wetenschappelijk Onderzoek","ror":"https://ror.org/04jsz6e67"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":26,"referenced_works":["https://openalex.org/W107808243","https://openalex.org/W258022877","https://openalex.org/W1503973138","https://openalex.org/W1547562281","https://openalex.org/W1586274751","https://openalex.org/W1587663028","https://openalex.org/W2002089154","https://openalex.org/W2003250112","https://openalex.org/W2029018540","https://openalex.org/W2090771707","https://openalex.org/W2096603442","https://openalex.org/W2108677969","https://openalex.org/W2109080678","https://openalex.org/W2117218135","https://openalex.org/W2133368152","https://openalex.org/W2140907939","https://openalex.org/W2166802518","https://openalex.org/W2167817121","https://openalex.org/W2508618396","https://openalex.org/W2738635245","https://openalex.org/W2755764480","https://openalex.org/W2764751863","https://openalex.org/W4212995568","https://openalex.org/W4297744580","https://openalex.org/W6604449807","https://openalex.org/W6634838760"],"related_works":["https://openalex.org/W59382029","https://openalex.org/W2156746546","https://openalex.org/W2376140444","https://openalex.org/W2094903923","https://openalex.org/W1555673433","https://openalex.org/W4319456988","https://openalex.org/W1495872178","https://openalex.org/W2003499082","https://openalex.org/W2119035971","https://openalex.org/W2044965190"],"abstract_inverted_index":{"We":[0,11],"cast":[1],"the":[2,7,27,56],"notion":[3],"of":[4,29],"bisimulation":[5,17],"in":[6,14,26],"Willems'":[8],"behavioral":[9],"setting.":[10],"show":[12],"that":[13,68],"this":[15],"setting,":[16],"is":[18,24,33,64,69],"also":[19,53],"a":[20,34],"congruence,":[21],"as":[22],"it":[23],"known":[25],"field":[28],"concurrent":[30],"processes.":[31],"Bisimulation":[32],"congruence":[35],"means":[36],"if":[37],"A":[38,45,72],"and":[39,48,62],"A\u2032":[40,49],"are":[41,52],"bisimilar":[42],"systems,":[43],"then":[44],"\u2225":[46,50,58],"B":[47,51,63],"bisimilar.":[54],"Here,":[55],"operator":[57],"denotes":[59],"systems":[60],"composition,":[61],"any":[65],"other":[66],"system":[67],"composed":[70],"with":[71],"or":[73],"A\u2032.":[74]},"counts_by_year":[{"year":2023,"cited_by_count":1},{"year":2021,"cited_by_count":1},{"year":2018,"cited_by_count":1},{"year":2016,"cited_by_count":1},{"year":2015,"cited_by_count":1},{"year":2014,"cited_by_count":4}],"updated_date":"2026-08-01T09:00:35.917206","created_date":"2016-06-24T00:00:00"}