Publication Information

{'id': 'https://openalex.org/W2123975063', 'doi': 'https://doi.org/10.1109/iceccs.2001.930166', 'title': 'Compositional construction of protocol behaviours with arbitrary channel capacities', 'display_name': 'Compositional construction of protocol behaviours with arbitrary channel capacities', 'publication_year': 2002, 'publication_date': '2002-11-13', 'ids': {'openalex': 'https://openalex.org/W2123975063', 'doi': 'https://doi.org/10.1109/iceccs.2001.930166', 'mag': '2123975063'}, 'language': 'en', 'primary_location': {'is_oa': False, 'landing_page_url': 'https://doi.org/10.1109/iceccs.2001.930166', 'pdf_url': None, 'source': None, 'license': None, 'license_id': None, 'version': None, 'is_accepted': False, 'is_published': False}, 'type': 'article', 'type_crossref': 'proceedings-article', 'indexed_in': ['crossref'], 'open_access': {'is_oa': False, 'oa_status': 'closed', 'oa_url': None, 'any_repository_has_fulltext': False}, 'authorships': [{'author_position': 'first', 'author': {'id': 'https://openalex.org/A5085407074', 'display_name': 'Antti Puhakka', 'orcid': None}, 'institutions': [{'id': 'https://openalex.org/I150589677', 'display_name': 'Tampere University of Applied Sciences', 'ror': 'https://ror.org/00bwtjf83', 'country_code': 'FI', 'type': 'education', 'lineage': ['https://openalex.org/I150589677']}], 'countries': ['FI'], 'is_corresponding': True, 'raw_author_name': 'A. Puhakka', 'raw_affiliation_strings': ['Software Syst. Lab., Tampere Univ. of Technol., Finland#TAB#'], 'affiliations': [{'raw_affiliation_string': 'Software Syst. Lab., Tampere Univ. of Technol., Finland#TAB#', 'institution_ids': ['https://openalex.org/I150589677']}]}], 'institution_assertions': [], 'countries_distinct_count': 1, 'institutions_distinct_count': 1, 'corresponding_author_ids': ['https://openalex.org/A5085407074'], 'corresponding_institution_ids': ['https://openalex.org/I150589677'], 'apc_list': None, 'apc_paid': None, 'fwci': 0.0, 'has_fulltext': True, 'fulltext_origin': 'ngrams', 'cited_by_count': 0, 'citation_normalized_percentile': {'value': 0.0, 'is_in_top_1_percent': False, 'is_in_top_10_percent': False}, 'cited_by_percentile_year': {'min': 0, 'max': 57}, 'biblio': {'volume': None, 'issue': None, 'first_page': '80', 'last_page': '89'}, 'is_retracted': False, 'is_paratext': False, 'primary_topic': {'id': 'https://openalex.org/T10142', 'display_name': 'Formal Methods in Verification', 'score': 0.9999, '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.9999, '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.9984, '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.9935, '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': [], 'concepts': [{'id': 'https://openalex.org/C41008148', 'wikidata': 'https://www.wikidata.org/wiki/Q21198', 'display_name': 'Computer science', 'level': 0, 'score': 0.8170008}, {'id': 'https://openalex.org/C2780385302', 'wikidata': 'https://www.wikidata.org/wiki/Q367158', 'display_name': 'Protocol (science)', 'level': 3, 'score': 0.78633475}, {'id': 'https://openalex.org/C127162648', 'wikidata': 'https://www.wikidata.org/wiki/Q16858953', 'display_name': 'Channel (broadcasting)', 'level': 2, 'score': 0.5761945}, {'id': 'https://openalex.org/C12269588', 'wikidata': 'https://www.wikidata.org/wiki/Q132364', 'display_name': 'Communications protocol', 'level': 2, 'score': 0.55832183}, {'id': 'https://openalex.org/C120314980', 'wikidata': 'https://www.wikidata.org/wiki/Q180634', 'display_name': 'Distributed computing', 'level': 1, 'score': 0.51799405}, {'id': 'https://openalex.org/C2780801425', 'wikidata': 'https://www.wikidata.org/wiki/Q5164392', 'display_name': 'Construct (python library)', 'level': 2, 'score': 0.5075661}, {'id': 'https://openalex.org/C80444323', 'wikidata': 'https://www.wikidata.org/wiki/Q2878974', 'display_name': 'Theoretical computer science', 'level': 1, 'score': 0.5006542}, {'id': 'https://openalex.org/C190470478', 'wikidata': 'https://www.wikidata.org/wiki/Q2370229', 'display_name': 'Invariant (physics)', 'level': 2, 'score': 0.49198315}, {'id': 'https://openalex.org/C48103436', 'wikidata': 'https://www.wikidata.org/wiki/Q599031', 'display_name': 'State (computer science)', 'level': 2, 'score': 0.47295448}, {'id': 'https://openalex.org/C111498074', 'wikidata': 'https://www.wikidata.org/wiki/Q173326', 'display_name': 'Formal verification', 'level': 2, 'score': 0.45138603}, {'id': 'https://openalex.org/C167822520', 'wikidata': 'https://www.wikidata.org/wiki/Q176452', 'display_name': 'Finite-state machine', 'level': 2, 'score': 0.4465013}, {'id': 'https://openalex.org/C110251889', 'wikidata': 'https://www.wikidata.org/wiki/Q1569697', 'display_name': 'Model checking', 'level': 2, 'score': 0.4218365}, {'id': 'https://openalex.org/C11413529', 'wikidata': 'https://www.wikidata.org/wiki/Q8366', 'display_name': 'Algorithm', 'level': 1, 'score': 0.31414056}, {'id': 'https://openalex.org/C31258907', 'wikidata': 'https://www.wikidata.org/wiki/Q1301371', 'display_name': 'Computer network', 'level': 1, 'score': 0.25366306}, {'id': 'https://openalex.org/C33923547', 'wikidata': 'https://www.wikidata.org/wiki/Q395', 'display_name': 'Mathematics', 'level': 0, 'score': 0.13699976}, {'id': 'https://openalex.org/C71924100', 'wikidata': 'https://www.wikidata.org/wiki/Q11190', 'display_name': 'Medicine', 'level': 0, 'score': 0.0}, {'id': 'https://openalex.org/C204787440', 'wikidata': 'https://www.wikidata.org/wiki/Q188504', 'display_name': 'Alternative medicine', 'level': 2, 'score': 0.0}, {'id': 'https://openalex.org/C142724271', 'wikidata': 'https://www.wikidata.org/wiki/Q7208', 'display_name': 'Pathology', 'level': 1, 'score': 0.0}, {'id': 'https://openalex.org/C37914503', 'wikidata': 'https://www.wikidata.org/wiki/Q156495', 'display_name': 'Mathematical physics', 'level': 1, 'score': 0.0}], 'mesh': [], 'locations_count': 1, 'locations': [{'is_oa': False, 'landing_page_url': 'https://doi.org/10.1109/iceccs.2001.930166', 'pdf_url': None, 'source': None, 'license': None, 'license_id': None, 'version': None, 'is_accepted': False, 'is_published': False}], 'best_oa_location': None, 'sustainable_development_goals': [{'score': 0.72, 'display_name': 'Peace, justice, and strong institutions', 'id': 'https://metadata.un.org/sdg/16'}], 'grants': [], 'datasets': [], 'versions': [], 'referenced_works_count': 27, 'referenced_works': ['https://openalex.org/W1488858096', 'https://openalex.org/W1503973138', 'https://openalex.org/W1506588809', 'https://openalex.org/W1513444661', 'https://openalex.org/W1516753891', 'https://openalex.org/W1532970407', 'https://openalex.org/W1552488915', 'https://openalex.org/W1568920249', 'https://openalex.org/W1586140256', 'https://openalex.org/W1626538740', 'https://openalex.org/W1702401680', 'https://openalex.org/W1731318210', 'https://openalex.org/W1913488133', 'https://openalex.org/W1930138276', 'https://openalex.org/W1975425602', 'https://openalex.org/W1978358700', 'https://openalex.org/W1994013545', 'https://openalex.org/W2025970201', 'https://openalex.org/W2034285521', 'https://openalex.org/W2048880957', 'https://openalex.org/W2098418324', 'https://openalex.org/W2121372686', 'https://openalex.org/W2129384397', 'https://openalex.org/W2143732349', 'https://openalex.org/W226335532', 'https://openalex.org/W258022877', 'https://openalex.org/W4240126131'], 'related_works': ['https://openalex.org/W4315606162', 'https://openalex.org/W4312733571', 'https://openalex.org/W4309460389', 'https://openalex.org/W2906490231', 'https://openalex.org/W2340807904', 'https://openalex.org/W2149716943', 'https://openalex.org/W2037121848', 'https://openalex.org/W2006962382', 'https://openalex.org/W1547517160', 'https://openalex.org/W1483297389'], 'abstract_inverted_index': {'Formal,': [0], 'automated': [1], 'verification': [2, 38, 132], 'methods': [3, 25, 54], 'for': [4, 55, 131, 147], 'parallel': [5], 'systems': [6, 18], 'suffer': [7], 'from': [8], 'the': [9, 34, 64, 80, 93, 102, 148, 168], 'state': [10], 'explosion': [11], 'problem,': [12], 'which': [13], 'prevents': [14], 'analysis': [15], 'of': [16, 31, 39, 68, 82, 111, 172], 'large': [17, 42, 73], 'with': [19, 23, 107, 153], 'many': [20], 'components.': [21], 'However,': [22, 136], 'compositional': [24, 53], 'we': [26, 51, 137, 159], 'can': [27, 118, 165], 'sometimes': [28], 'take': [29], 'advantage': [30], 'regularities': [32], 'in': [33, 95, 124], 'system': [35, 94], 'structure,': [36], 'enabling': [37], 'even': [40], 'arbitrarily': [41, 72], 'systems.': [43], 'The': [44, 59, 113], 'article': [45], 'presents': [46], 'a': [47, 122, 141], 'case': [48], 'study': [49], 'where': [50], 'use': [52], 'communication': [56], 'protocol': [57, 85, 105, 114, 152], 'verification.': [58], 'aim': [60], 'is': [61, 144, 170], 'to': [62, 104], 'determine': [63], 'externally': [65], 'observable': [66], 'behaviour': [67, 81, 115, 169], 'protocols': [69], 'that': [70, 140, 161, 167], 'have': [71], '(but': [74], 'finite)': [75], 'channel': [76, 173], 'capacities.': [77, 174], 'We': [78, 99], 'construct': [79], 'an': [83, 96], 'example': [84], 'by': [86, 91], 'choosing': [87], 'suitable': [88], 'abstractions': [89], 'and': [90, 133], 'composing': [92], 'appropriate': [97], 'order.': [98], 'also': [100, 138], 'extend': [101], 'result': [103], 'families': [106], 'arbitrary': [108], 'finite': [109], 'numbers': [110], 'retransmissions.': [112], 'thus': [116], 'obtained': [117], 'be': [119], 'used': [120], 'as': [121, 128, 130], 'component': [123], 'any': [125], 'larger': [126], 'system,': [127], 'well': [129], 'visualisation': [134], 'purposes.': [135], 'show': [139, 160], 'similar': [142], 'approach': [143], 'not': [145], 'possible': [146], 'classical': [149], 'alternating': [150], 'bit': [151], 'reliable': [154], 'or': [155], 'fair': [156], 'channels.': [157], 'Namely,': [158], 'no': [162], 'finite-state': [163], 'invariant': [164], 'prove': [166], 'independent': [171]}, 'cited_by_api_url': 'https://api.openalex.org/works?filter=cites:W2123975063', 'counts_by_year': [], 'updated_date': '2024-12-09T23:23:17.471523', 'created_date': '2016-06-24'}