{"id":"https://openalex.org/W1572315522","doi":"https://doi.org/10.1007/978-3-540-73940-1_4","title":"A Categorical Observation of Timed Testing Equivalence","display_name":"A Categorical Observation of Timed Testing Equivalence","publication_year":2007,"publication_date":"2007-08-28","ids":{"openalex":"https://openalex.org/W1572315522","doi":"https://doi.org/10.1007/978-3-540-73940-1_4","mag":"1572315522"},"language":"en","primary_location":{"id":"doi:10.1007/978-3-540-73940-1_4","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-540-73940-1_4","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":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5005614956","display_name":"Nataliya Gribovskaya","orcid":"https://orcid.org/0000-0002-9526-9023"},"institutions":[{"id":"https://openalex.org/I4210127387","display_name":"Siberian Branch of the Russian Academy of Sciences","ror":"https://ror.org/02frkq021","country_code":"RU","type":"funder","lineage":["https://openalex.org/I1313323035","https://openalex.org/I4210127387"]},{"id":"https://openalex.org/I1313323035","display_name":"Russian Academy of Sciences","ror":"https://ror.org/05qrfxd25","country_code":"RU","type":"funder","lineage":["https://openalex.org/I1313323035"]}],"countries":["RU"],"is_corresponding":true,"raw_author_name":"Natalya Gribovskaya","raw_affiliation_strings":["A.P. Ershov Institute of Informatics Systems, Siberian Division of the Russian Academy of Sciences, 6, Acad. Lavrentiev avenue, 630090, Novosibirsk, Russia","A.P. Ershov Institute of Informatics Systems, Siberian Division of the Russian Academy of Sciences, Novosibirsk, Russia"],"affiliations":[{"raw_affiliation_string":"A.P. Ershov Institute of Informatics Systems, Siberian Division of the Russian Academy of Sciences, 6, Acad. Lavrentiev avenue, 630090, Novosibirsk, Russia","institution_ids":["https://openalex.org/I1313323035"]},{"raw_affiliation_string":"A.P. Ershov Institute of Informatics Systems, Siberian Division of the Russian Academy of Sciences, Novosibirsk, Russia","institution_ids":["https://openalex.org/I4210127387"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5013247640","display_name":"Irina Virbitskaite","orcid":"https://orcid.org/0000-0002-4475-3480"},"institutions":[{"id":"https://openalex.org/I1313323035","display_name":"Russian Academy of Sciences","ror":"https://ror.org/05qrfxd25","country_code":"RU","type":"funder","lineage":["https://openalex.org/I1313323035"]},{"id":"https://openalex.org/I4210127387","display_name":"Siberian Branch of the Russian Academy of Sciences","ror":"https://ror.org/02frkq021","country_code":"RU","type":"funder","lineage":["https://openalex.org/I1313323035","https://openalex.org/I4210127387"]}],"countries":["RU"],"is_corresponding":false,"raw_author_name":"Irina Virbitskaite","raw_affiliation_strings":["A.P. Ershov Institute of Informatics Systems, Siberian Division of the Russian Academy of Sciences, 6, Acad. Lavrentiev avenue, 630090, Novosibirsk, Russia","A.P. Ershov Institute of Informatics Systems, Siberian Division of the Russian Academy of Sciences, Novosibirsk, Russia"],"affiliations":[{"raw_affiliation_string":"A.P. Ershov Institute of Informatics Systems, Siberian Division of the Russian Academy of Sciences, 6, Acad. Lavrentiev avenue, 630090, Novosibirsk, Russia","institution_ids":["https://openalex.org/I1313323035"]},{"raw_affiliation_string":"A.P. Ershov Institute of Informatics Systems, Siberian Division of the Russian Academy of Sciences, Novosibirsk, Russia","institution_ids":["https://openalex.org/I4210127387"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5005614956"],"corresponding_institution_ids":["https://openalex.org/I1313323035","https://openalex.org/I4210127387"],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.11126875,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"35","last_page":"46"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9998999834060669,"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.9998999834060669,"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.9927999973297119,"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/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9919999837875366,"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/equivalence","display_name":"Equivalence (formal languages)","score":0.7808190584182739},{"id":"https://openalex.org/keywords/morphism","display_name":"Morphism","score":0.7694568634033203},{"id":"https://openalex.org/keywords/categorical-variable","display_name":"Categorical variable","score":0.7489507794380188},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7149431705474854},{"id":"https://openalex.org/keywords/transition-system","display_name":"Transition system","score":0.5415336489677429},{"id":"https://openalex.org/keywords/category-theory","display_name":"Category theory","score":0.4170941114425659},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.3920620083808899},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.17986711859703064},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.16999751329421997},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.12184339761734009},{"id":"https://openalex.org/keywords/machine-learning","display_name":"Machine learning","score":0.105105459690094}],"concepts":[{"id":"https://openalex.org/C2780069185","wikidata":"https://www.wikidata.org/wiki/Q7977945","display_name":"Equivalence (formal languages)","level":2,"score":0.7808190584182739},{"id":"https://openalex.org/C137212723","wikidata":"https://www.wikidata.org/wiki/Q1948412","display_name":"Morphism","level":2,"score":0.7694568634033203},{"id":"https://openalex.org/C5274069","wikidata":"https://www.wikidata.org/wiki/Q2285707","display_name":"Categorical variable","level":2,"score":0.7489507794380188},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7149431705474854},{"id":"https://openalex.org/C2779167558","wikidata":"https://www.wikidata.org/wiki/Q176468","display_name":"Transition system","level":2,"score":0.5415336489677429},{"id":"https://openalex.org/C54884031","wikidata":"https://www.wikidata.org/wiki/Q217413","display_name":"Category theory","level":2,"score":0.4170941114425659},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3920620083808899},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.17986711859703064},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.16999751329421997},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.12184339761734009},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.105105459690094}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1007/978-3-540-73940-1_4","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-540-73940-1_4","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"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":41,"referenced_works":["https://openalex.org/W36240330","https://openalex.org/W130102441","https://openalex.org/W1506164031","https://openalex.org/W1541595433","https://openalex.org/W1559181602","https://openalex.org/W1565034387","https://openalex.org/W1570820794","https://openalex.org/W1573208177","https://openalex.org/W1578654632","https://openalex.org/W1582369902","https://openalex.org/W1586537374","https://openalex.org/W1588647718","https://openalex.org/W1596400039","https://openalex.org/W1689225743","https://openalex.org/W1705861437","https://openalex.org/W1778175466","https://openalex.org/W1885037678","https://openalex.org/W2039290601","https://openalex.org/W2098981343","https://openalex.org/W2101508170","https://openalex.org/W2116509046","https://openalex.org/W2124302819","https://openalex.org/W2130394356","https://openalex.org/W2147535250","https://openalex.org/W2151233126","https://openalex.org/W2153273838","https://openalex.org/W2157144873","https://openalex.org/W2164822567","https://openalex.org/W2173961470","https://openalex.org/W2330548796","https://openalex.org/W2476118172","https://openalex.org/W2493333586","https://openalex.org/W2503788355","https://openalex.org/W2506086379","https://openalex.org/W2561675875","https://openalex.org/W2644853339","https://openalex.org/W2911550362","https://openalex.org/W3000511677","https://openalex.org/W4206183253","https://openalex.org/W4285719527","https://openalex.org/W4388298857"],"related_works":["https://openalex.org/W2070015609","https://openalex.org/W2572230934","https://openalex.org/W1965594853","https://openalex.org/W2963042045","https://openalex.org/W3180855406","https://openalex.org/W2164569390","https://openalex.org/W568038298","https://openalex.org/W1619051700","https://openalex.org/W2955069101","https://openalex.org/W423830787"],"abstract_inverted_index":null,"counts_by_year":[],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}