Get quick answers to your questions about the article from our AI researcher chatbot
{'id': 'https://openalex.org/W1493213125', 'doi': 'https://doi.org/10.1016/s1571-0661(05)82500-9', 'title': 'Preface', 'display_name': 'Preface', 'publication_year': 2003, 'publication_date': '2003-02-01', 'ids': {'openalex': 'https://openalex.org/W1493213125', 'doi': 'https://doi.org/10.1016/s1571-0661(05)82500-9', 'mag': '1493213125'}, 'language': 'en', 'primary_location': {'is_oa': True, 'landing_page_url': 'https://doi.org/10.1016/s1571-0661(05)82500-9', 'pdf_url': None, 'source': {'id': 'https://openalex.org/S50368787', 'display_name': 'Electronic Notes in Theoretical Computer Science', 'issn_l': '1571-0661', 'issn': ['1571-0661'], 'is_oa': True, 'is_in_doaj': False, 'is_core': True, 'host_organization': 'https://openalex.org/P4310320990', 'host_organization_name': 'Elsevier BV', 'host_organization_lineage': ['https://openalex.org/P4310320990'], 'host_organization_lineage_names': ['Elsevier BV'], 'type': 'journal'}, 'license': None, 'license_id': None, 'version': 'publishedVersion', 'is_accepted': True, 'is_published': True}, 'type': 'article', 'type_crossref': 'journal-article', 'indexed_in': ['crossref'], 'open_access': {'is_oa': True, 'oa_status': 'gold', 'oa_url': 'https://doi.org/10.1016/s1571-0661(05)82500-9', 'any_repository_has_fulltext': False}, 'authorships': [{'author_position': 'first', 'author': {'id': 'https://openalex.org/A5041913577', 'display_name': 'Luca Aceto', 'orcid': 'https://orcid.org/0000-0002-2197-3018'}, 'institutions': [], 'countries': [], 'is_corresponding': False, 'raw_author_name': 'Luca Aceto', 'raw_affiliation_strings': [], 'affiliations': []}, {'author_position': 'last', 'author': {'id': 'https://openalex.org/A5005634871', 'display_name': 'Björn Victor', 'orcid': 'https://orcid.org/0000-0003-0174-9032'}, 'institutions': [], 'countries': [], 'is_corresponding': False, 'raw_author_name': 'Björn Victor', 'raw_affiliation_strings': [], 'affiliations': []}], 'institution_assertions': [], 'countries_distinct_count': 0, 'institutions_distinct_count': 0, 'corresponding_author_ids': [], 'corresponding_institution_ids': [], 'apc_list': None, 'apc_paid': None, 'fwci': 0.339, 'has_fulltext': True, 'fulltext_origin': 'ngrams', 'cited_by_count': 1, 'citation_normalized_percentile': {'value': 0.352789, 'is_in_top_1_percent': False, 'is_in_top_10_percent': False}, 'cited_by_percentile_year': {'min': 59, 'max': 66}, 'biblio': {'volume': '39', 'issue': '1', 'first_page': '1', 'last_page': '2'}, 'is_retracted': False, 'is_paratext': False, 'primary_topic': {'id': 'https://openalex.org/T11125', 'display_name': 'Petri Nets in System Modeling', 'score': 0.9884, '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/T11125', 'display_name': 'Petri Nets in System Modeling', 'score': 0.9884, '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/T10142', 'display_name': 'Formal Methods in Verification', 'score': 0.9862, '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.9832, '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/presentation', 'display_name': 'Presentation (obstetrics)', 'score': 0.49328345}, {'id': 'https://openalex.org/keywords/attendance', 'display_name': 'Attendance', 'score': 0.49237096}], 'concepts': [{'id': 'https://openalex.org/C193702766', 'wikidata': 'https://www.wikidata.org/wiki/Q1414548', 'display_name': 'Concurrency', 'level': 2, 'score': 0.5913414}, {'id': 'https://openalex.org/C161191863', 'wikidata': 'https://www.wikidata.org/wiki/Q199655', 'display_name': 'Library science', 'level': 1, 'score': 0.5512949}, {'id': 'https://openalex.org/C41008148', 'wikidata': 'https://www.wikidata.org/wiki/Q21198', 'display_name': 'Computer science', 'level': 0, 'score': 0.49328965}, {'id': 'https://openalex.org/C2777601897', 'wikidata': 'https://www.wikidata.org/wiki/Q3409113', 'display_name': 'Presentation (obstetrics)', 'level': 2, 'score': 0.49328345}, {'id': 'https://openalex.org/C2778173179', 'wikidata': 'https://www.wikidata.org/wiki/Q25339289', 'display_name': 'Attendance', 'level': 2, 'score': 0.49237096}, {'id': 'https://openalex.org/C38677869', 'wikidata': 'https://www.wikidata.org/wiki/Q724168', 'display_name': 'Petri net', 'level': 2, 'score': 0.4219777}, {'id': 'https://openalex.org/C199360897', 'wikidata': 'https://www.wikidata.org/wiki/Q9143', 'display_name': 'Programming language', 'level': 1, 'score': 0.40408164}, {'id': 'https://openalex.org/C17744445', 'wikidata': 'https://www.wikidata.org/wiki/Q36442', 'display_name': 'Political science', 'level': 0, 'score': 0.11296892}, {'id': 'https://openalex.org/C71924100', 'wikidata': 'https://www.wikidata.org/wiki/Q11190', 'display_name': 'Medicine', 'level': 0, 'score': 0.09705129}, {'id': 'https://openalex.org/C199539241', 'wikidata': 'https://www.wikidata.org/wiki/Q7748', 'display_name': 'Law', 'level': 1, 'score': 0.0}, {'id': 'https://openalex.org/C126838900', 'wikidata': 'https://www.wikidata.org/wiki/Q77604', 'display_name': 'Radiology', 'level': 1, 'score': 0.0}], 'mesh': [], 'locations_count': 1, 'locations': [{'is_oa': True, 'landing_page_url': 'https://doi.org/10.1016/s1571-0661(05)82500-9', 'pdf_url': None, 'source': {'id': 'https://openalex.org/S50368787', 'display_name': 'Electronic Notes in Theoretical Computer Science', 'issn_l': '1571-0661', 'issn': ['1571-0661'], 'is_oa': True, 'is_in_doaj': False, 'is_core': True, 'host_organization': 'https://openalex.org/P4310320990', 'host_organization_name': 'Elsevier BV', 'host_organization_lineage': ['https://openalex.org/P4310320990'], 'host_organization_lineage_names': ['Elsevier BV'], 'type': 'journal'}, 'license': None, 'license_id': None, 'version': 'publishedVersion', 'is_accepted': True, 'is_published': True}], 'best_oa_location': {'is_oa': True, 'landing_page_url': 'https://doi.org/10.1016/s1571-0661(05)82500-9', 'pdf_url': None, 'source': {'id': 'https://openalex.org/S50368787', 'display_name': 'Electronic Notes in Theoretical Computer Science', 'issn_l': '1571-0661', 'issn': ['1571-0661'], 'is_oa': True, 'is_in_doaj': False, 'is_core': True, 'host_organization': 'https://openalex.org/P4310320990', 'host_organization_name': 'Elsevier BV', 'host_organization_lineage': ['https://openalex.org/P4310320990'], 'host_organization_lineage_names': ['Elsevier BV'], 'type': 'journal'}, 'license': None, 'license_id': None, 'version': 'publishedVersion', 'is_accepted': True, 'is_published': True}, 'sustainable_development_goals': [], 'grants': [], 'datasets': [], 'versions': [], 'referenced_works_count': 0, 'referenced_works': [], 'related_works': ['https://openalex.org/W4230983483', 'https://openalex.org/W2391570358', 'https://openalex.org/W2355319912', 'https://openalex.org/W2154794415', 'https://openalex.org/W2132799268', 'https://openalex.org/W1980200158', 'https://openalex.org/W1745255672', 'https://openalex.org/W1551257573', 'https://openalex.org/W1538101305', 'https://openalex.org/W1529681579'], 'abstract_inverted_index': {'The': [0, 68, 94, 126, 164], 'EXPRESS': [1, 69], 'workshops': [2, 70, 97], 'aim': [3], 'at': [4], 'bringing': [5], 'together': [6, 240], 'researchers': [7], 'interested': [8], 'in': [9, 17, 101, 128, 133, 177, 198, 217, 346], 'the': [10, 18, 27, 61, 77, 85, 162, 174, 195, 210, 228, 237, 242, 245, 258, 261, 264, 268, 271, 279, 303, 331, 334, 340, 351], 'relations': [11], 'between': [12, 29, 42], 'various': [13], 'formal': [14], 'systems,': [15], 'particularly': [16], 'field': [19], 'of': [20, 45, 63, 76, 173, 212, 260, 270, 333, 342, 350], 'Concurrency.': [21], 'More': [22], 'specifically,': [23], 'they': [24, 305], 'focus': [25, 87], 'on': [26, 60, 188, 222], 'comparison': [28], 'programming': [30], 'concepts': [31], '(such': [32, 47], 'as': [33, 48, 74, 148, 169], 'concurrent,': [34], 'functional,': [35], 'imperative,': [36], 'logic': [37], 'and': [38, 41, 115, 122, 137, 143, 156, 183, 186, 204, 267, 281, 289, 296, 311, 324, 375], 'object-oriented': [39], 'programming)': [40], 'mathematical': [43], 'models': [44], 'computation': [46], 'process': [49], 'algebras,': [50], 'Petri': [51], 'nets,': [52], 'event': [53], 'structures,': [54], 'modal': [55], 'logics,': [56], 'rewrite': [57], 'systems': [58], 'etc.)': [59], 'basis': [62], 'their': [64, 275, 313, 328], 'relative': [65], 'expressive': [66], 'power.': [67], 'were': [71, 98, 232], 'originally': [72], 'held': [73, 99, 168, 216], 'meetings': [75], 'HCM': [78], 'project': [79], 'EXPRESS,': [80], 'which': [81, 130, 214], 'was': [82, 138, 146, 167, 192, 215], 'active': [83], 'with': [84, 151, 241, 330], 'same': [86], 'from': [88, 160], 'January': [89], '1994': [90], 'till': [91], 'December': [92], '1997.': [93], 'first': [95], 'three': [96], 'respectively': [100], 'Amsterdam': [102], '(1994,': [103], 'chaired': [104, 110], 'by': [105, 111, 119, 140, 180, 194, 201, 236, 244], 'Frits': [106], 'Vaandrager),': [107], 'Tarquinia': [108], '(1995,': [109], 'Rocco': [112, 123], 'De': [113, 124], 'Nicola),': [114], 'Dagstuhl': [116], '(1996,': [117], 'co-chaired': [118, 139, 179, 200], 'Ursula': [120], 'Goltz': [121], 'Nicola).': [125], 'workshop': [127, 166, 172], '1997,': [129], 'took': [131], 'place': [132], 'Santa': [134], 'Margherita': [135], 'Ligure': [136], 'Catuscia': [141, 184, 287], 'Palamidessi': [142, 288], 'Joachim': [144], 'Parrow,': [145], 'organized': [147], 'a': [149, 152, 157, 170], 'conference': [150, 176, 197], 'call': [153], 'for': [154, 234, 274, 302, 312, 327], 'papers': [155, 230], 'significant': [158], 'attendance': [159], 'outside': [161], 'project.': [163], '1998': [165], 'satellite': [171], "CONCUR'98": [175], 'Nice,': [178], 'Ilaria': [181, 202], 'Castellani': [182, 203], 'Palamidessi,': [185], 'like': [187, 255, 319], 'that': [189, 231], 'occasion': [190], "EXPRESS'99": [191], 'hosted': [193], "CONCUR'99": [196], 'Eindhoven,': [199], 'Björn': [205, 376], 'Victor.': [206], 'This': [207], 'volume': [208], 'contains': [209], 'Proceedings': [211], "EXPRESS'00,": [213, 310], 'State': [218], 'College': [219], '(Pennsylvania,': [220], 'USA)': [221], '21': [223], 'August': [224], '2000.': [225], 'It': [226], 'includes': [227], 'six': [229], 'selected': [233], 'presentation': [235], 'program': [238, 272], 'committee,': [239], 'contribution': [243, 276], 'invited': [246, 265], 'speaker,': [247], 'Neil': [248], 'D.': [249], 'Jones': [250], '(DIKU,': [251], 'Denmark).': [252], 'We': [253, 316], 'would': [254, 317], 'to': [256, 277, 286, 308, 320], 'thank': [257, 321], 'authors': [259], 'submitted': [262], 'papers,': [263], 'speakers,': [266], 'members': [269], 'committee': [273], 'both': [278], 'meeting': [280], 'this': [282], 'volume.': [283], 'Many': [284], 'thanks': [285], 'Dale': [290], 'Miller': [291], '(CONCUR': [292], '2000': [293], 'Conference': [294], 'Chairs),': [295], 'Uwe': [297], 'Nestmann': [298], '(Satellite': [299], 'Workshops': [300], 'Chair),': [301], 'opportunity': [304], 'gave': [306], 'us': [307], 'organize': [309], 'continuous': [314], 'support.': [315], 'also': [318], 'Michael': [322], 'Mislove': [323], 'Uffe': [325], 'Engberg': [326], 'help': [329], 'editing': [332], 'proceedings.': [335], 'Finally,': [336], 'we': [337], 'gratefully': [338], 'acknowledge': [339], 'support': [341], 'BRICS': [343], '(Basic': [344], 'Research': [345, 354], 'Computer': [347], 'Science),': [348], 'Centre': [349], 'Danish': [352], 'National': [353], 'Foundation.': [355], "EXPRESS'00": [356], 'Programme': [357], 'Committe': [358], 'Luca': [359, 373], 'Aceto(DK)Karen': [360], 'Bernstein': [361], 'Jeffrey(USA)Rance': [362], 'Cleaveland(USA)Wan': [363], 'Fokkink(NL)Rob': [364], 'van': [365], 'Glabbeek(NL)Ursula': [366], 'Goltz(DE)Rosario': [367], 'Pugliese(IT)Julian': [368], 'Rathke(UK)Davide': [369], 'Sangiorgi(FR)Björn': [370], 'Victor(SE)Igor': [371], 'Walukiewicz(PL)': [372], 'Aceto': [374], 'Victor,': [377], 'Guest': [378], 'Editors': [379]}, 'cited_by_api_url': 'https://api.openalex.org/works?filter=cites:W1493213125', 'counts_by_year': [], 'updated_date': '2024-12-14T02:23:53.531386', 'created_date': '2016-06-24'}