Get quick answers to your questions about the article from our AI researcher chatbot
{'id': 'https://openalex.org/W2918561041', 'doi': 'https://doi.org/10.4230/lipics.concur.2017.7', 'title': 'Divergence and unique solution of equations', 'display_name': 'Divergence and unique solution of equations', 'publication_year': 2017, 'publication_date': '2017-09-05', 'ids': {'openalex': 'https://openalex.org/W2918561041', 'doi': 'https://doi.org/10.4230/lipics.concur.2017.7', 'mag': '2918561041'}, 'language': 'en', 'primary_location': {'is_oa': True, 'landing_page_url': 'https://hal.science/hal-01643502', 'pdf_url': 'https://hal.science/hal-01643502/document', 'source': {'id': 'https://openalex.org/S4306402512', 'display_name': 'HAL (Le Centre pour la Communication Scientifique Directe)', 'issn_l': None, 'issn': None, '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': 'other-oa', 'license_id': 'https://openalex.org/licenses/other-oa', 'version': 'submittedVersion', '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://hal.science/hal-01643502/document', 'any_repository_has_fulltext': True}, 'authorships': [{'author_position': 'first', 'author': {'id': 'https://openalex.org/A5082858146', 'display_name': 'Adrien Durier', 'orcid': None}, 'institutions': [{'id': 'https://openalex.org/I4210144566', 'display_name': "Laboratoire de l'Informatique du Parallélisme", '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']}, {'id': 'https://openalex.org/I9360294', 'display_name': 'University of Bologna', 'ror': 'https://ror.org/01111rn36', 'country_code': 'IT', 'type': 'education', 'lineage': ['https://openalex.org/I9360294']}], 'countries': ['FR', 'IT'], 'is_corresponding': False, 'raw_author_name': 'Adrien Durier', 'raw_affiliation_strings': ["FOCUS - Foundations of Component-based Ubiquitous Systems (Dipartimento di Informatica - Scienza e Ingegneria (DISI)\r\nUniversita' di Bologna\r\nMura Anteo Zamboni, 7\r\n40126 Bologna\r\nITALY - Italy)", "LIP - Laboratoire de l'Informatique du Parallélisme (46 Allée d'Italie 69364 LYON CEDEX 07 - France)", 'PLUME - Preuves et Langages (France)'], 'affiliations': [{'raw_affiliation_string': "LIP - Laboratoire de l'Informatique du Parallélisme (46 Allée d'Italie 69364 LYON CEDEX 07 - France)", 'institution_ids': ['https://openalex.org/I4210144566']}, {'raw_affiliation_string': 'PLUME - Preuves et Langages (France)', 'institution_ids': []}, {'raw_affiliation_string': "FOCUS - Foundations of Component-based Ubiquitous Systems (Dipartimento di Informatica - Scienza e Ingegneria (DISI)\r\nUniversita' di Bologna\r\nMura Anteo Zamboni, 7\r\n40126 Bologna\r\nITALY - Italy)", 'institution_ids': ['https://openalex.org/I9360294']}]}, {'author_position': 'middle', 'author': {'id': 'https://openalex.org/A5033874015', 'display_name': 'Daniel Hirschkoff', 'orcid': 'https://orcid.org/0000-0001-7425-2436'}, 'institutions': [{'id': 'https://openalex.org/I4210144566', 'display_name': "Laboratoire de l'Informatique du Parallélisme", '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']}, {'id': 'https://openalex.org/I9360294', 'display_name': 'University of Bologna', 'ror': 'https://ror.org/01111rn36', 'country_code': 'IT', 'type': 'education', 'lineage': ['https://openalex.org/I9360294']}], 'countries': ['FR', 'IT'], 'is_corresponding': False, 'raw_author_name': 'Daniel Hirschkoff', 'raw_affiliation_strings': ["FOCUS - Foundations of Component-based Ubiquitous Systems (Dipartimento di Informatica - Scienza e Ingegneria (DISI)\r\nUniversita' di Bologna\r\nMura Anteo Zamboni, 7\r\n40126 Bologna\r\nITALY - Italy)", "LIP - Laboratoire de l'Informatique du Parallélisme (46 Allée d'Italie 69364 LYON CEDEX 07 - France)", 'PLUME - Preuves et Langages (France)'], 'affiliations': [{'raw_affiliation_string': "LIP - Laboratoire de l'Informatique du Parallélisme (46 Allée d'Italie 69364 LYON CEDEX 07 - France)", 'institution_ids': ['https://openalex.org/I4210144566']}, {'raw_affiliation_string': "FOCUS - Foundations of Component-based Ubiquitous Systems (Dipartimento di Informatica - Scienza e Ingegneria (DISI)\r\nUniversita' di Bologna\r\nMura Anteo Zamboni, 7\r\n40126 Bologna\r\nITALY - Italy)", 'institution_ids': ['https://openalex.org/I9360294']}, {'raw_affiliation_string': 'PLUME - Preuves et Langages (France)', 'institution_ids': []}]}, {'author_position': 'last', 'author': {'id': 'https://openalex.org/A5077030456', 'display_name': 'Davide Sangiorgi', 'orcid': 'https://orcid.org/0000-0001-5823-3235'}, 'institutions': [{'id': 'https://openalex.org/I9360294', 'display_name': 'University of Bologna', 'ror': 'https://ror.org/01111rn36', 'country_code': 'IT', 'type': 'education', 'lineage': ['https://openalex.org/I9360294']}], 'countries': ['IT'], 'is_corresponding': False, 'raw_author_name': 'Davide Sangiorgi', 'raw_affiliation_strings': ['DISI - Department of Computer Science and Engineering [Bologna] (Università di Bologna Dipartimento di Informatica - Scienza e Ingegneria Mura Anteo Zamboni, 7 40126 Bologna Italiy - Italy)', "FOCUS - Foundations of Component-based Ubiquitous Systems (Dipartimento di Informatica - Scienza e Ingegneria (DISI)\r\nUniversita' di Bologna\r\nMura Anteo Zamboni, 7\r\n40126 Bologna\r\nITALY - Italy)"], 'affiliations': [{'raw_affiliation_string': "FOCUS - Foundations of Component-based Ubiquitous Systems (Dipartimento di Informatica - Scienza e Ingegneria (DISI)\r\nUniversita' di Bologna\r\nMura Anteo Zamboni, 7\r\n40126 Bologna\r\nITALY - Italy)", 'institution_ids': ['https://openalex.org/I9360294']}, {'raw_affiliation_string': 'DISI - Department of Computer Science and Engineering [Bologna] (Università di Bologna Dipartimento di Informatica - Scienza e Ingegneria Mura Anteo Zamboni, 7 40126 Bologna Italiy - Italy)', 'institution_ids': ['https://openalex.org/I9360294']}]}], 'countries_distinct_count': 2, 'institutions_distinct_count': 2, 'corresponding_author_ids': [], 'corresponding_institution_ids': [], 'apc_list': None, 'apc_paid': None, 'fwci': None, 'has_fulltext': False, 'cited_by_count': 13, 'citation_normalized_percentile': {'value': 0.799242, 'is_in_top_1_percent': False, 'is_in_top_10_percent': False}, 'cited_by_percentile_year': {'min': 88, 'max': 89}, 'biblio': {'volume': None, 'issue': None, 'first_page': None, 'last_page': None}, 'is_retracted': False, 'is_paratext': False, 'primary_topic': {'id': 'https://openalex.org/T10126', 'display_name': 'Program Analysis and Verification Techniques', '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'}}, 'topics': [{'id': 'https://openalex.org/T10126', 'display_name': 'Program Analysis and Verification Techniques', '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 Programming and Knowledge Representation', 'score': 0.9952, '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/T11567', 'display_name': 'Automata Theory and Formal Languages', 'score': 0.9935, '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'}}], 'keywords': [{'id': 'https://openalex.org/keywords/divergence', 'display_name': 'Divergence (linguistics)', 'score': 0.67964274}, {'id': 'https://openalex.org/keywords/completeness', 'display_name': 'Completeness (order theory)', 'score': 0.4899694}, {'id': 'https://openalex.org/keywords/constraint-logic-programming', 'display_name': 'Constraint Logic Programming', 'score': 0.472964}, {'id': 'https://openalex.org/keywords/trace', 'display_name': 'TRACE (psycholinguistics)', 'score': 0.45924926}, {'id': 'https://openalex.org/keywords/bisimulation', 'display_name': 'Bisimulation', 'score': 0.43557042}], 'concepts': [{'id': 'https://openalex.org/C207390915', 'wikidata': 'https://www.wikidata.org/wiki/Q1230525', 'display_name': 'Divergence (linguistics)', 'level': 2, 'score': 0.67964274}, {'id': 'https://openalex.org/C2780069185', 'wikidata': 'https://www.wikidata.org/wiki/Q7977945', 'display_name': 'Equivalence (formal languages)', 'level': 2, 'score': 0.6528174}, {'id': 'https://openalex.org/C207648694', 'wikidata': 'https://www.wikidata.org/wiki/Q1189746', 'display_name': 'Denotational semantics', 'level': 4, 'score': 0.49246773}, {'id': 'https://openalex.org/C17231256', 'wikidata': 'https://www.wikidata.org/wiki/Q5156540', 'display_name': 'Completeness (order theory)', 'level': 2, 'score': 0.4899694}, {'id': 'https://openalex.org/C75291252', 'wikidata': 'https://www.wikidata.org/wiki/Q1315756', 'display_name': 'TRACE (psycholinguistics)', 'level': 2, 'score': 0.45924926}, {'id': 'https://openalex.org/C33923547', 'wikidata': 'https://www.wikidata.org/wiki/Q395', 'display_name': 'Mathematics', 'level': 0, 'score': 0.44859847}, {'id': 'https://openalex.org/C135315306', 'wikidata': 'https://www.wikidata.org/wiki/Q866364', 'display_name': 'Bisimulation', 'level': 2, 'score': 0.43557042}, {'id': 'https://openalex.org/C156325763', 'wikidata': 'https://www.wikidata.org/wiki/Q1930895', 'display_name': 'Operational semantics', 'level': 3, 'score': 0.40121713}, {'id': 'https://openalex.org/C2777686260', 'wikidata': 'https://www.wikidata.org/wiki/Q144037', 'display_name': 'Calculus (dental)', 'level': 2, 'score': 0.39035803}, {'id': 'https://openalex.org/C184337299', 'wikidata': 'https://www.wikidata.org/wiki/Q1437428', 'display_name': 'Semantics (computer science)', 'level': 2, 'score': 0.3812099}, {'id': 'https://openalex.org/C41008148', 'wikidata': 'https://www.wikidata.org/wiki/Q21198', 'display_name': 'Computer science', 'level': 0, 'score': 0.3781395}, {'id': 'https://openalex.org/C136119220', 'wikidata': 'https://www.wikidata.org/wiki/Q1000660', 'display_name': 'Algebra over a field', 'level': 2, 'score': 0.35956115}, {'id': 'https://openalex.org/C118615104', 'wikidata': 'https://www.wikidata.org/wiki/Q121416', 'display_name': 'Discrete mathematics', 'level': 1, 'score': 0.31749302}, {'id': 'https://openalex.org/C202444582', 'wikidata': 'https://www.wikidata.org/wiki/Q837863', 'display_name': 'Pure mathematics', 'level': 1, 'score': 0.20306861}, {'id': 'https://openalex.org/C199360897', 'wikidata': 'https://www.wikidata.org/wiki/Q9143', 'display_name': 'Programming language', 'level': 1, 'score': 0.07997829}, {'id': 'https://openalex.org/C134306372', 'wikidata': 'https://www.wikidata.org/wiki/Q7754', 'display_name': 'Mathematical analysis', 'level': 1, 'score': 0.06942436}, {'id': 'https://openalex.org/C138885662', 'wikidata': 'https://www.wikidata.org/wiki/Q5891', 'display_name': 'Philosophy', 'level': 0, 'score': 0.0}, {'id': 'https://openalex.org/C41895202', 'wikidata': 'https://www.wikidata.org/wiki/Q8162', 'display_name': 'Linguistics', 'level': 1, 'score': 0.0}, {'id': 'https://openalex.org/C71924100', 'wikidata': 'https://www.wikidata.org/wiki/Q11190', 'display_name': 'Medicine', 'level': 0, 'score': 0.0}, {'id': 'https://openalex.org/C199343813', 'wikidata': 'https://www.wikidata.org/wiki/Q12128', 'display_name': 'Dentistry', 'level': 1, 'score': 0.0}], 'mesh': [], 'locations_count': 6, 'locations': [{'is_oa': True, 'landing_page_url': 'https://hal.science/hal-01643502', 'pdf_url': 'https://hal.science/hal-01643502/document', 'source': {'id': 'https://openalex.org/S4306402512', 'display_name': 'HAL (Le Centre pour la Communication Scientifique Directe)', 'issn_l': None, 'issn': None, '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': 'other-oa', 'license_id': 'https://openalex.org/licenses/other-oa', 'version': 'submittedVersion', 'is_accepted': False, 'is_published': False}, {'is_oa': False, 'landing_page_url': 'https://hal.archives-ouvertes.fr/hal-01643502', 'pdf_url': None, 'source': {'id': 'https://openalex.org/S4306402512', 'display_name': 'HAL (Le Centre pour la Communication Scientifique Directe)', 'issn_l': None, 'issn': None, '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': None, 'license_id': None, 'version': None, 'is_accepted': False, 'is_published': False}, {'is_oa': True, 'landing_page_url': None, 'pdf_url': 'https://hal.archives-ouvertes.fr/hal-01643502/document', 'source': {'id': 'https://openalex.org/S4306402512', 'display_name': 'HAL (Le Centre pour la Communication Scientifique Directe)', 'issn_l': None, 'issn': None, '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': 'cc-by', 'license_id': 'https://openalex.org/licenses/cc-by', 'version': 'submittedVersion', 'is_accepted': False, 'is_published': False}, {'is_oa': True, 'landing_page_url': 'https://drops.dagstuhl.de/opus/volltexte/2017/7784/', 'pdf_url': 'https://drops.dagstuhl.de/opus/volltexte/2017/7784/pdf/LIPIcs-CONCUR-2017-11.pdf', 'source': {'id': 'https://openalex.org/S4306402524', 'display_name': 'Leibniz-Zentrum für Informatik (Schloss Dagstuhl)', 'issn_l': None, 'issn': None, 'is_oa': True, 'is_in_doaj': False, 'is_core': False, 'host_organization': 'https://openalex.org/I2799853480', 'host_organization_name': 'Schloss Dagstuhl – Leibniz Center for Informatics', 'host_organization_lineage': ['https://openalex.org/I2799853480'], 'host_organization_lineage_names': ['Schloss Dagstuhl – 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': 'https://hal.archives-ouvertes.fr/hal-01643502/file/usol.pdf', 'pdf_url': 'https://hal.archives-ouvertes.fr/hal-01643502/file/usol.pdf', 'source': {'id': 'https://openalex.org/S4306402512', 'display_name': 'HAL (Le Centre pour la Communication Scientifique Directe)', 'issn_l': None, 'issn': None, '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': 'cc-by', 'license_id': 'https://openalex.org/licenses/cc-by', 'version': 'submittedVersion', 'is_accepted': False, 'is_published': False}, {'is_oa': True, 'landing_page_url': 'https://arxiv.org/abs/1806.11354', 'pdf_url': 'https://arxiv.org/pdf/1806.11354', 'source': {'id': 'https://openalex.org/S4306400194', 'display_name': 'arXiv (Cornell University)', 'issn_l': None, 'issn': None, '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': ['Cornell University'], 'type': 'repository'}, 'license': None, 'license_id': None, 'version': 'submittedVersion', 'is_accepted': False, 'is_published': False}], 'best_oa_location': {'is_oa': True, 'landing_page_url': 'https://hal.science/hal-01643502', 'pdf_url': 'https://hal.science/hal-01643502/document', 'source': {'id': 'https://openalex.org/S4306402512', 'display_name': 'HAL (Le Centre pour la Communication Scientifique Directe)', 'issn_l': None, 'issn': None, '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': 'other-oa', 'license_id': 'https://openalex.org/licenses/other-oa', 'version': 'submittedVersion', 'is_accepted': False, 'is_published': False}, 'sustainable_development_goals': [{'display_name': 'Reduced inequalities', 'id': 'https://metadata.un.org/sdg/10', 'score': 0.72}], 'grants': [], 'datasets': [], 'versions': [], 'referenced_works_count': 0, 'referenced_works': [], 'related_works': ['https://openalex.org/W91938043', 'https://openalex.org/W3129725704', 'https://openalex.org/W3036972880', 'https://openalex.org/W3023595429', 'https://openalex.org/W2369782853', 'https://openalex.org/W2257517306', 'https://openalex.org/W2072493788', 'https://openalex.org/W1988438613', 'https://openalex.org/W1768718906', 'https://openalex.org/W1493950382'], 'abstract_inverted_index': {'We': [0, 12, 51, 64, 108], 'study': [1, 125], 'proof': [2, 118, 140], 'techniques': [3, 112], 'for': [4, 27, 62, 150], 'bisimilarity': [5], 'based': [6], 'on': [7, 88], 'unique': [8], 'solution': [9], 'of': [10, 24, 38, 59, 79, 85, 115, 141, 144], 'equations.': [11], 'draw': [13], 'inspiration': [14], 'from': [15], 'a': [16, 36, 45], 'result': [17, 54], 'by': [18], 'Roscoe': [19], 'in': [20, 128], 'the': [21, 48, 56, 67, 72, 86, 92, 110, 116, 126, 133, 138, 145, 148], 'denotational': [22], 'setting': [23, 58], 'CSP': [25], 'and': [26, 61, 101, 136], 'failure': [28], 'semantics,': [29], 'essentially': [30], 'stating': [31], 'that': [32], 'an': [33, 82], 'equation': [34], '(or': [35], 'system': [37], 'equations)': [39], 'whose': [40], 'infinite': [41], 'unfolding': [42], 'never': [43], 'produces': [44], 'divergence': [46], 'has': [47], 'unique-solution': [49], 'property.': [50], 'transport': [52], 'this': [53], 'onto': [55], 'operational': [57, 68], 'CCS': [60], 'bisimilarity.': [63], 'then': [65], 'exploit': [66], 'approach': [69], 'to:': [70], 'refine': [71], 'theorem': [73], ',': [74], 'distinguishing': [75], 'between': [76], 'different': [77], 'forms': [78], 'divergence;': [80], 'derive': [81], 'abstract': [83], 'formulation': [84], 'theorems,': [87], 'generic': [89], 'LTSs;': [90], 'adapt': [91], 'theorems': [93, 127], 'to': [94, 102, 113], 'other': [95], 'equivalences': [96], 'such': [97, 104, 131], 'as': [98, 105, 132], 'trace': [99, 106], 'equivalence,': [100], 'preorders': [103], 'inclusion.': [107], 'compare': [109], 'resulting': [111], 'enhancements': [114], 'bisimulation': [117], 'method': [119], '(the': [120], "'up-to": [121], "techniques').": [122], 'Finally,': [123], 'we': [124], 'name-passing': [129], 'calculi': [130], 'asynchronous': [134], 'π-calculus,': [135], 'revisit': [137], 'completeness': [139], "Milner's": [142], 'encoding': [143], 'λ-calculus': [146], 'into': [147], 'π-calculus': [149], 'Levy-Longo': [151], 'Trees.': [152]}, 'cited_by_api_url': 'https://api.openalex.org/works?filter=cites:W2918561041', 'counts_by_year': [{'year': 2021, 'cited_by_count': 3}, {'year': 2020, 'cited_by_count': 4}, {'year': 2019, 'cited_by_count': 1}, {'year': 2018, 'cited_by_count': 4}, {'year': 2017, 'cited_by_count': 1}], 'updated_date': '2024-09-11T23:05:35.494693', 'created_date': '2019-03-11'}