{"id":"https://openalex.org/W4379981209","doi":"https://doi.org/10.1007/978-3-031-35355-0_9","title":"On Bisimilarity for\u00a0Polyhedral Models and\u00a0SLCS","display_name":"On Bisimilarity for\u00a0Polyhedral Models and\u00a0SLCS","publication_year":2023,"publication_date":"2023-01-01","ids":{"openalex":"https://openalex.org/W4379981209","doi":"https://doi.org/10.1007/978-3-031-35355-0_9"},"language":"en","primary_location":{"id":"doi:10.1007/978-3-031-35355-0_9","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-031-35355-0_9","pdf_url":null,"source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},"type":"book-chapter","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://inria.hal.science/hal-04731935/document","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5082534511","display_name":"Vincenzo Ciancia","orcid":"https://orcid.org/0000-0003-1314-0574"},"institutions":[{"id":"https://openalex.org/I122991210","display_name":"Istituto di Scienza e Tecnologie dell'Informazione \"Alessandro Faedo\"","ror":"https://ror.org/05kacka20","country_code":"IT","type":"facility","lineage":["https://openalex.org/I122991210","https://openalex.org/I4210155236"]}],"countries":["IT"],"is_corresponding":true,"raw_author_name":"Vincenzo Ciancia","raw_affiliation_strings":["Consiglio Nazionale delle Ricerche - ISTI, Pisa, Italy"],"raw_orcid":"https://orcid.org/0000-0003-1314-0574","affiliations":[{"raw_affiliation_string":"Consiglio Nazionale delle Ricerche - ISTI, Pisa, Italy","institution_ids":["https://openalex.org/I122991210"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5033831417","display_name":"David Gabelaia","orcid":"https://orcid.org/0000-0002-8317-7949"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"David Gabelaia","raw_affiliation_strings":["TSU Razmadze Mathematical Institute, Tbilisi, Georgia"],"raw_orcid":"https://orcid.org/0000-0002-8317-7949","affiliations":[{"raw_affiliation_string":"TSU Razmadze Mathematical Institute, Tbilisi, Georgia","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5049253314","display_name":"Diego Latella","orcid":"https://orcid.org/0000-0002-3257-9059"},"institutions":[{"id":"https://openalex.org/I122991210","display_name":"Istituto di Scienza e Tecnologie dell'Informazione \"Alessandro Faedo\"","ror":"https://ror.org/05kacka20","country_code":"IT","type":"facility","lineage":["https://openalex.org/I122991210","https://openalex.org/I4210155236"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Diego Latella","raw_affiliation_strings":["Consiglio Nazionale delle Ricerche - ISTI, Pisa, Italy"],"raw_orcid":"https://orcid.org/0000-0002-3257-9059","affiliations":[{"raw_affiliation_string":"Consiglio Nazionale delle Ricerche - ISTI, Pisa, Italy","institution_ids":["https://openalex.org/I122991210"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5049483818","display_name":"Mieke Massink","orcid":"https://orcid.org/0000-0001-5089-002X"},"institutions":[{"id":"https://openalex.org/I122991210","display_name":"Istituto di Scienza e Tecnologie dell'Informazione \"Alessandro Faedo\"","ror":"https://ror.org/05kacka20","country_code":"IT","type":"facility","lineage":["https://openalex.org/I122991210","https://openalex.org/I4210155236"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Mieke Massink","raw_affiliation_strings":["Consiglio Nazionale delle Ricerche - ISTI, Pisa, Italy"],"raw_orcid":"https://orcid.org/0000-0001-5089-002X","affiliations":[{"raw_affiliation_string":"Consiglio Nazionale delle Ricerche - ISTI, Pisa, Italy","institution_ids":["https://openalex.org/I122991210"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5018760156","display_name":"E.P. de Vink","orcid":"https://orcid.org/0000-0001-9514-2260"},"institutions":[{"id":"https://openalex.org/I83019370","display_name":"Eindhoven University of Technology","ror":"https://ror.org/02c2kyt77","country_code":"NL","type":"education","lineage":["https://openalex.org/I83019370"]}],"countries":["NL"],"is_corresponding":false,"raw_author_name":"Erik P. de Vink","raw_affiliation_strings":["Eindhoven University of Technology, Eindhoven, The Netherlands"],"raw_orcid":"https://orcid.org/0000-0001-9514-2260","affiliations":[{"raw_affiliation_string":"Eindhoven University of Technology, Eindhoven, The Netherlands","institution_ids":["https://openalex.org/I83019370"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":5,"corresponding_author_ids":["https://openalex.org/A5082534511"],"corresponding_institution_ids":["https://openalex.org/I122991210"],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":null,"fwci":4.7295,"has_fulltext":true,"cited_by_count":5,"citation_normalized_percentile":{"value":0.94779711,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":91,"max":99},"biblio":{"volume":null,"issue":null,"first_page":"132","last_page":"151"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9919999837875366,"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.9919999837875366,"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.991100013256073,"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/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.9871000051498413,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"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/partially-ordered-set","display_name":"Partially ordered set","score":0.762292742729187},{"id":"https://openalex.org/keywords/polyhedron","display_name":"Polyhedron","score":0.7440429329872131},{"id":"https://openalex.org/keywords/concurrency","display_name":"Concurrency","score":0.6879342794418335},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5921231508255005},{"id":"https://openalex.org/keywords/equivalence","display_name":"Equivalence (formal languages)","score":0.5382298231124878},{"id":"https://openalex.org/keywords/bisimulation","display_name":"Bisimulation","score":0.46360528469085693},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.4625301957130432},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.34823769330978394},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.3180636763572693},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.3126923441886902},{"id":"https://openalex.org/keywords/combinatorics","display_name":"Combinatorics","score":0.20249074697494507},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.15500247478485107}],"concepts":[{"id":"https://openalex.org/C180645754","wikidata":"https://www.wikidata.org/wiki/Q474715","display_name":"Partially ordered set","level":2,"score":0.762292742729187},{"id":"https://openalex.org/C54829058","wikidata":"https://www.wikidata.org/wiki/Q172937","display_name":"Polyhedron","level":2,"score":0.7440429329872131},{"id":"https://openalex.org/C193702766","wikidata":"https://www.wikidata.org/wiki/Q1414548","display_name":"Concurrency","level":2,"score":0.6879342794418335},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5921231508255005},{"id":"https://openalex.org/C2780069185","wikidata":"https://www.wikidata.org/wiki/Q7977945","display_name":"Equivalence (formal languages)","level":2,"score":0.5382298231124878},{"id":"https://openalex.org/C135315306","wikidata":"https://www.wikidata.org/wiki/Q866364","display_name":"Bisimulation","level":2,"score":0.46360528469085693},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4625301957130432},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.34823769330978394},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.3180636763572693},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.3126923441886902},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.20249074697494507},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.15500247478485107}],"mesh":[],"locations_count":4,"locations":[{"id":"doi:10.1007/978-3-031-35355-0_9","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-031-35355-0_9","pdf_url":null,"source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},{"id":"pmh:oai:HAL:hal-04731935v1","is_oa":true,"landing_page_url":"https://inria.hal.science/hal-04731935","pdf_url":"https://inria.hal.science/hal-04731935/document","source":{"id":"https://openalex.org/S4306402512","display_name":"HAL (Le Centre pour la Communication Scientifique Directe)","issn_l":null,"issn":null,"is_oa":false,"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":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"43th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2023, Lisbon, Portugal. pp.132-151, ⟨10.1007/978-3-031-35355-0_9⟩","raw_type":"Conference papers"},{"id":"pmh:oai:pure.tue.nl:openaire_cris_publications/a99b78b2-582f-41da-b212-5742b1cf86f2","is_oa":true,"landing_page_url":"https://research.tue.nl/en/publications/a99b78b2-582f-41da-b212-5742b1cf86f2","pdf_url":"https://research.tue.nl/files/347095908/978-3-031-35355-0_9_1_.pdf","source":{"id":"https://openalex.org/S4406922641","display_name":"TU/e Research Portal","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":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Ciancia, V, Gabelaia, D, Latella, D, Massink, M & de Vink, E P 2023, On Bisimilarity for\u00a0Polyhedral Models and\u00a0SLCS. in M Huisman & A Ravara (eds), Formal Techniques for Distributed Objects, Components, and Systems : 43rd IFIP WG 6.1 International Conference, FORTE 2023, Held as Part of the 18th International Federated Conference on Distributed Computing Techniques, DisCoTec 2023, Lisbon, Portugal, June 19\u201323, 2023, Proceedings. Lecture Notes in Computer Science (LNCS), vol. 13910, Springer, Cham, pp. 132-151, 43rd IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2023, held as part of the 18th International Federated Conference on Distributed Computing Techniques, DisCoTec 2023, Lisbon, Portugal, 19/06/23. https://doi.org/10.1007/978-3-031-35355-0_9","raw_type":"info:eu-repo/semantics/publishedVersion"},{"id":"pmh:oai:dnet:people______::5d69e328cfe288cf662a3948812e2702","is_oa":true,"landing_page_url":null,"pdf_url":null,"source":{"id":"https://openalex.org/S7407055261","display_name":"ISTI Open Portal","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":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"Conference article"}],"best_oa_location":{"id":"pmh:oai:HAL:hal-04731935v1","is_oa":true,"landing_page_url":"https://inria.hal.science/hal-04731935","pdf_url":"https://inria.hal.science/hal-04731935/document","source":{"id":"https://openalex.org/S4306402512","display_name":"HAL (Le Centre pour la Communication Scientifique Directe)","issn_l":null,"issn":null,"is_oa":false,"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":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"43th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2023, Lisbon, Portugal. pp.132-151, ⟨10.1007/978-3-031-35355-0_9⟩","raw_type":"Conference papers"},"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/10","score":0.47999998927116394,"display_name":"Reduced inequalities"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4379981209.pdf"},"referenced_works_count":44,"referenced_works":["https://openalex.org/W86222690","https://openalex.org/W1474666314","https://openalex.org/W1483379332","https://openalex.org/W1497013959","https://openalex.org/W1525598334","https://openalex.org/W1530375570","https://openalex.org/W1546282418","https://openalex.org/W1601893258","https://openalex.org/W1912181860","https://openalex.org/W1918227179","https://openalex.org/W1985161650","https://openalex.org/W1990070807","https://openalex.org/W1990183105","https://openalex.org/W2033455284","https://openalex.org/W2050527500","https://openalex.org/W2076632469","https://openalex.org/W2076980581","https://openalex.org/W2107144615","https://openalex.org/W2167998587","https://openalex.org/W2521165853","https://openalex.org/W2527872501","https://openalex.org/W2602950602","https://openalex.org/W2663462053","https://openalex.org/W2785192168","https://openalex.org/W2917102740","https://openalex.org/W2934379134","https://openalex.org/W2953688716","https://openalex.org/W2962721399","https://openalex.org/W2977566895","https://openalex.org/W2980190921","https://openalex.org/W3005359275","https://openalex.org/W3081677519","https://openalex.org/W3098118882","https://openalex.org/W3122853820","https://openalex.org/W3160215750","https://openalex.org/W3176674467","https://openalex.org/W3189981105","https://openalex.org/W3193928746","https://openalex.org/W4233076421","https://openalex.org/W4247183245","https://openalex.org/W4294621147","https://openalex.org/W4296970395","https://openalex.org/W4323026818","https://openalex.org/W7131839604"],"related_works":["https://openalex.org/W59382029","https://openalex.org/W1555673433","https://openalex.org/W2376140444","https://openalex.org/W4319456988","https://openalex.org/W2799251552","https://openalex.org/W1495872178","https://openalex.org/W2094903923","https://openalex.org/W2003499082","https://openalex.org/W2129909535","https://openalex.org/W2119035971"],"abstract_inverted_index":null,"counts_by_year":[{"year":2026,"cited_by_count":2},{"year":2025,"cited_by_count":1},{"year":2024,"cited_by_count":2}],"updated_date":"2026-06-12T08:23:45.883708","created_date":"2025-10-10T00:00:00"}