Publication Information

{'id': 'https://openalex.org/W2126612664', 'doi': 'https://doi.org/10.4204/eptcs.32.1', 'title': 'Equational Characterization of Covariant-Contravariant Simulation and Conformance Simulation Semantics', 'display_name': 'Equational Characterization of Covariant-Contravariant Simulation and Conformance Simulation Semantics', 'publication_year': 2010, 'publication_date': '2010-08-11', 'ids': {'openalex': 'https://openalex.org/W2126612664', 'doi': 'https://doi.org/10.4204/eptcs.32.1', 'mag': '2126612664'}, 'language': 'en', 'primary_location': {'is_oa': True, 'landing_page_url': None, 'pdf_url': 'https://arxiv.org/pdf/1008.2108', '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': 'cc-by-nc-nd', 'license_id': 'https://openalex.org/licenses/cc-by-nc-nd', 'version': 'publishedVersion', 'is_accepted': True, 'is_published': True}, 'type': 'article', 'type_crossref': 'journal-article', 'indexed_in': ['arxiv', 'crossref', 'datacite', 'doaj'], 'open_access': {'is_oa': True, 'oa_status': 'diamond', 'oa_url': 'https://arxiv.org/pdf/1008.2108', 'any_repository_has_fulltext': True}, 'authorships': [{'author_position': 'first', 'author': {'id': 'https://openalex.org/A5045544723', 'display_name': 'Ignacio Fábregas', 'orcid': 'https://orcid.org/0000-0002-3045-4180'}, 'institutions': [{'id': 'https://openalex.org/I121748325', 'display_name': 'Universidad Complutense de Madrid', 'ror': 'https://ror.org/02p0gd045', 'country_code': 'ES', 'type': 'education', 'lineage': ['https://openalex.org/I121748325']}], 'countries': ['ES'], 'is_corresponding': False, 'raw_author_name': 'Ignacio Fábregas', 'raw_affiliation_strings': ['Universidad Complutense de Madrid, Spain'], 'affiliations': [{'raw_affiliation_string': 'Universidad Complutense de Madrid, Spain', 'institution_ids': ['https://openalex.org/I121748325']}]}, {'author_position': 'middle', 'author': {'id': 'https://openalex.org/A5077617115', 'display_name': 'David de Frutos Escrig', 'orcid': 'https://orcid.org/0000-0002-3870-7744'}, 'institutions': [{'id': 'https://openalex.org/I121748325', 'display_name': 'Universidad Complutense de Madrid', 'ror': 'https://ror.org/02p0gd045', 'country_code': 'ES', 'type': 'education', 'lineage': ['https://openalex.org/I121748325']}], 'countries': ['ES'], 'is_corresponding': False, 'raw_author_name': 'David de Frutos Escrig', 'raw_affiliation_strings': ['Universidad Complutense de Madrid, Spain'], 'affiliations': [{'raw_affiliation_string': 'Universidad Complutense de Madrid, Spain', 'institution_ids': ['https://openalex.org/I121748325']}]}, {'author_position': 'last', 'author': {'id': 'https://openalex.org/A5076184186', 'display_name': 'Miguel Palomino', 'orcid': 'https://orcid.org/0000-0002-6725-350X'}, 'institutions': [{'id': 'https://openalex.org/I121748325', 'display_name': 'Universidad Complutense de Madrid', 'ror': 'https://ror.org/02p0gd045', 'country_code': 'ES', 'type': 'education', 'lineage': ['https://openalex.org/I121748325']}], 'countries': ['ES'], 'is_corresponding': False, 'raw_author_name': 'Miguel Palomino', 'raw_affiliation_strings': ['Universidad Complutense de Madrid, Spain'], 'affiliations': [{'raw_affiliation_string': 'Universidad Complutense de Madrid, Spain', 'institution_ids': ['https://openalex.org/I121748325']}]}], 'institution_assertions': [], 'countries_distinct_count': 1, 'institutions_distinct_count': 1, 'corresponding_author_ids': [], 'corresponding_institution_ids': [], 'apc_list': {'value': 0, 'currency': 'USD', 'value_usd': 0, 'provenance': 'doaj'}, 'apc_paid': None, 'fwci': 0.793, 'has_fulltext': True, 'fulltext_origin': 'pdf', 'cited_by_count': 4, 'citation_normalized_percentile': {'value': 0.744764, 'is_in_top_1_percent': False, 'is_in_top_10_percent': False}, 'cited_by_percentile_year': {'min': 77, 'max': 79}, 'biblio': {'volume': '32', 'issue': None, 'first_page': '1', 'last_page': '14'}, 'is_retracted': False, 'is_paratext': False, 'primary_topic': {'id': 'https://openalex.org/T10126', 'display_name': 'Logic, programming, and type systems', 'score': 0.9996, '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': 'Logic, programming, and type systems', 'score': 0.9996, '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/T10142', 'display_name': 'Formal Methods in Verification', 'score': 0.9996, '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.9931, '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/C206236147', 'wikidata': 'https://www.wikidata.org/wiki/Q3555165', 'display_name': 'Covariance and contravariance of vectors', 'level': 2, 'score': 0.9571169}, {'id': 'https://openalex.org/C9136319', 'wikidata': 'https://www.wikidata.org/wiki/Q362640', 'display_name': 'Covariant transformation', 'level': 2, 'score': 0.89124656}, {'id': 'https://openalex.org/C184337299', 'wikidata': 'https://www.wikidata.org/wiki/Q1437428', 'display_name': 'Semantics (computer science)', 'level': 2, 'score': 0.5905071}, {'id': 'https://openalex.org/C41008148', 'wikidata': 'https://www.wikidata.org/wiki/Q21198', 'display_name': 'Computer science', 'level': 0, 'score': 0.49556196}, {'id': 'https://openalex.org/C136119220', 'wikidata': 'https://www.wikidata.org/wiki/Q1000660', 'display_name': 'Algebra over a field', 'level': 2, 'score': 0.42897588}, {'id': 'https://openalex.org/C80444323', 'wikidata': 'https://www.wikidata.org/wiki/Q2878974', 'display_name': 'Theoretical computer science', 'level': 1, 'score': 0.39751992}, {'id': 'https://openalex.org/C33923547', 'wikidata': 'https://www.wikidata.org/wiki/Q395', 'display_name': 'Mathematics', 'level': 0, 'score': 0.39053828}, {'id': 'https://openalex.org/C202444582', 'wikidata': 'https://www.wikidata.org/wiki/Q837863', 'display_name': 'Pure mathematics', 'level': 1, 'score': 0.3710981}, {'id': 'https://openalex.org/C199360897', 'wikidata': 'https://www.wikidata.org/wiki/Q9143', 'display_name': 'Programming language', 'level': 1, 'score': 0.20220709}, {'id': 'https://openalex.org/C2524010', 'wikidata': 'https://www.wikidata.org/wiki/Q8087', 'display_name': 'Geometry', 'level': 1, 'score': 0.098086804}], 'mesh': [], 'locations_count': 5, 'locations': [{'is_oa': True, 'landing_page_url': None, 'pdf_url': 'https://arxiv.org/pdf/1008.2108', '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': 'cc-by-nc-nd', 'license_id': 'https://openalex.org/licenses/cc-by-nc-nd', 'version': 'publishedVersion', 'is_accepted': True, 'is_published': True}, {'is_oa': False, 'landing_page_url': 'https://doaj.org/article/5aa243a25c7e48ad92ca313ee9851d0a', 'pdf_url': None, 'source': {'id': 'https://openalex.org/S4306401280', 'display_name': 'DOAJ (DOAJ: Directory of Open Access Journals)', 'issn_l': None, 'issn': None, 'is_oa': True, 'is_in_doaj': False, 'is_core': False, 'host_organization': None, 'host_organization_name': None, 'host_organization_lineage': [], 'host_organization_lineage_names': [], 'type': 'repository'}, 'license': None, 'license_id': None, 'version': None, 'is_accepted': False, 'is_published': False}, {'is_oa': True, 'landing_page_url': 'https://eprints.ucm.es/id/eprint/20931/1/Frutos45libre.pdf', 'pdf_url': 'https://docta.ucm.es/bitstreams/a377f17a-ca83-42bc-91bd-851613cd0243/download', 'source': {'id': 'https://openalex.org/S4306402641', 'display_name': 'LA Referencia (Red Federada de Repositorios Institucionales de Publicaciones Científicas)', 'issn_l': None, 'issn': None, 'is_oa': True, 'is_in_doaj': False, 'is_core': False, 'host_organization': 'https://openalex.org/I4383465926', 'host_organization_name': 'LA Referencia', 'host_organization_lineage': ['https://openalex.org/I4383465926'], 'host_organization_lineage_names': ['LA Referencia'], 'type': 'repository'}, 'license': 'cc-by', 'license_id': 'https://openalex.org/licenses/cc-by', 'version': 'acceptedVersion', 'is_accepted': True, 'is_published': False}, {'is_oa': True, 'landing_page_url': 'http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.175.9', 'pdf_url': 'http://maude.sip.ucm.es/%7Emiguelpt/papers/eccc.pdf', 'source': {'id': 'https://openalex.org/S4306400349', 'display_name': 'CiteSeer X (The Pennsylvania State University)', 'issn_l': None, 'issn': None, 'is_oa': True, 'is_in_doaj': False, 'is_core': False, 'host_organization': 'https://openalex.org/I130769515', 'host_organization_name': 'Pennsylvania State University', 'host_organization_lineage': ['https://openalex.org/I130769515'], 'host_organization_lineage_names': ['Pennsylvania State University'], 'type': 'repository'}, 'license': None, 'license_id': None, 'version': 'submittedVersion', 'is_accepted': False, 'is_published': False}, {'is_oa': False, 'landing_page_url': 'https://api.datacite.org/dois/10.48550/arxiv.1008.2108', 'pdf_url': None, 'source': {'id': 'https://openalex.org/S4393179698', 'display_name': 'DataCite API', 'issn_l': None, 'issn': None, 'is_oa': True, 'is_in_doaj': False, 'is_core': False, 'host_organization': 'https://openalex.org/I4210145204', 'host_organization_name': 'DataCite', 'host_organization_lineage': ['https://openalex.org/I4210145204'], 'host_organization_lineage_names': ['DataCite'], 'type': 'metadata'}, 'license': None, 'license_id': None, 'version': None}], 'best_oa_location': {'is_oa': True, 'landing_page_url': None, 'pdf_url': 'https://arxiv.org/pdf/1008.2108', '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': 'cc-by-nc-nd', 'license_id': 'https://openalex.org/licenses/cc-by-nc-nd', 'version': 'publishedVersion', 'is_accepted': True, 'is_published': True}, 'sustainable_development_goals': [{'id': 'https://metadata.un.org/sdg/10', 'display_name': 'Reduced inequalities', 'score': 0.44}], 'grants': [], 'datasets': [], 'versions': ['https://openalex.org/W2126612664', 'https://openalex.org/W3141711392'], 'referenced_works_count': 24, 'referenced_works': ['https://openalex.org/W1513136138', 'https://openalex.org/W1530757677', 'https://openalex.org/W1547562281', 'https://openalex.org/W1581774065', 'https://openalex.org/W1599333409', 'https://openalex.org/W1868341999', 'https://openalex.org/W1963951244', 'https://openalex.org/W1967381334', 'https://openalex.org/W1971170838', 'https://openalex.org/W1979349468', 'https://openalex.org/W2046946052', 'https://openalex.org/W2077666692', 'https://openalex.org/W2102919649', 'https://openalex.org/W2104224153', 'https://openalex.org/W2104717233', 'https://openalex.org/W2106221267', 'https://openalex.org/W2143236904', 'https://openalex.org/W2147877669', 'https://openalex.org/W2171648882', 'https://openalex.org/W2293287097', 'https://openalex.org/W2570168381', 'https://openalex.org/W263914759', 'https://openalex.org/W3135659769', 'https://openalex.org/W4285719527'], 'related_works': ['https://openalex.org/W4378576405', 'https://openalex.org/W3107056257', 'https://openalex.org/W2331846134', 'https://openalex.org/W2160009080', 'https://openalex.org/W2126612664', 'https://openalex.org/W2117196758', 'https://openalex.org/W2075668545', 'https://openalex.org/W2051173062', 'https://openalex.org/W2023295078', 'https://openalex.org/W1832924505'], 'abstract_inverted_index': {'Covariant-contravariant': [0], 'simulation': [1, 4, 7, 52, 129], 'and': [2, 8, 37, 54, 87, 145, 160, 178, 199], 'conformance': [3], 'generalize': [5], 'plain': [6], 'try': [9], 'to': [10, 72, 103, 192], 'capture': [11], 'the': [12, 19, 24, 28, 43, 46, 50, 65, 68, 74, 81, 84, 91, 95, 108, 124, 127, 173], 'fact': [13, 66, 125], 'that': [14, 21, 67, 126, 140, 158, 183], 'it': [15], 'is': [16, 131, 137], 'not': [17], 'always': [18], 'case': [20], '"the': [22], 'larger': [23], 'number': [25], 'of': [26, 45, 60, 83, 107, 122, 157, 172], 'behaviors,': [27], 'better".': [29], 'We': [30, 181], 'have': [31, 154], 'previously': [32], 'studied': [33], 'their': [34, 55, 88], 'logical': [35], 'characterizations': [36], 'in': [38, 64, 79], 'this': [39], 'paper': [40], 'we': [41, 112, 153, 188], 'present': [42], 'axiomatizations': [44, 69, 96], 'preorders': [47], 'defined': [48], 'by': [49, 184], 'new': [51, 75, 169], 'relations': [53], 'induced': [56], 'equivalences.': [57], 'The': [58], 'interest': [59], 'our': [61, 115], 'results': [62, 106, 116], 'lies': [63], 'help': [70], 'us': [71, 98, 167], 'know': [73], 'simulations': [76], 'better,': [77], 'understanding': [78], 'particular': [80], 'role': [82], 'contravariant': [85, 147, 164], 'characteristics': [86], 'interplay': [89], 'with': [90, 99], 'covariant': [92, 144, 162], 'ones;': [93], 'moreover,': [94], 'provide': [97], 'a': [100, 119, 143, 146, 168, 194], 'powerful': [101], 'tool': [102], '(algebraically)': [104], 'prove': [105], 'corresponding': [109], 'semantics.': [110, 180, 201], 'But': [111], 'also': [113], 'consider': [114], 'interesting': [117], 'from': [118], 'metatheoretical': [120], 'point': [121], 'view:': [123], 'covariant-contravariant': [128], 'equivalence': [130], 'indeed': [132], 'ground': [133], 'axiomatizable': [134, 177, 198], 'when': [135], 'there': [136], 'no': [138], 'action': [139], 'exhibits': [141], 'both': [142], 'behaviour,': [148], 'but': [149], 'becomes': [150], 'non-axiomatizable': [151, 179, 200], 'whenever': [152], 'together': [155], 'actions': [156], 'kind': [159], 'either': [161], 'or': [163], 'actions,': [165], 'offers': [166], 'subtle': [170], 'example': [171], 'narrow': [174], 'border': [175], 'separating': [176, 197], 'expect': [182], 'studying': [185], 'these': [186], 'examples': [187], 'will': [189], 'be': [190], 'able': [191], 'develop': [193], 'general': [195], 'theory': [196]}, 'cited_by_api_url': 'https://api.openalex.org/works?filter=cites:W2126612664', 'counts_by_year': [{'year': 2019, 'cited_by_count': 2}, {'year': 2012, 'cited_by_count': 1}], 'updated_date': '2024-12-12T00:44:07.553547', 'created_date': '2016-06-24'}