{"id":"https://openalex.org/W2085191369","doi":"https://doi.org/10.1134/s0361768810030023","title":"Unifying behavioral equivalences of timed transition systems","display_name":"Unifying behavioral equivalences of timed transition systems","publication_year":2010,"publication_date":"2010-05-01","ids":{"openalex":"https://openalex.org/W2085191369","doi":"https://doi.org/10.1134/s0361768810030023","mag":"2085191369"},"language":"en","primary_location":{"id":"doi:10.1134/s0361768810030023","is_oa":false,"landing_page_url":"https://doi.org/10.1134/s0361768810030023","pdf_url":null,"source":{"id":"https://openalex.org/S150218641","display_name":"Programming and Computer Software","issn_l":"0361-7688","issn":["0361-7688","1608-3261"],"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/P4310320267","host_organization_name":"Pleiades Publishing","host_organization_lineage":["https://openalex.org/P4310320267","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Pleiades Publishing","Springer Nature"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Programming and Computer Software","raw_type":"journal-article"},"type":"article","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/A5013247640","display_name":"Irina Virbitskaite","orcid":"https://orcid.org/0000-0002-4475-3480"},"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/I188973947","display_name":"Novosibirsk State University","ror":"https://ror.org/04t2ss102","country_code":"RU","type":"education","lineage":["https://openalex.org/I188973947"]},{"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":"I. B. Virbitskaite","raw_affiliation_strings":["A. P. Ershov Institute of Informatics Systems, Siberian Branch, Russian Academy of Sciences, pr. Akademika Lavrent\u2019eva 6, Novosibirsk, 630090, Russia","Novosibirsk State University, ul. Pirogova 2, Novosibirsk, 630090, Russia","A. P. Ershov Institute of Informatics Systems, Siberian Branch, Russian Academy of Sciences, Novosibirsk, Russia","Novosibirsk State University, Novosibirsk, Russia"],"affiliations":[{"raw_affiliation_string":"A. P. Ershov Institute of Informatics Systems, Siberian Branch, Russian Academy of Sciences, pr. Akademika Lavrent\u2019eva 6, Novosibirsk, 630090, Russia","institution_ids":["https://openalex.org/I4210127387"]},{"raw_affiliation_string":"Novosibirsk State University, ul. Pirogova 2, Novosibirsk, 630090, Russia","institution_ids":["https://openalex.org/I188973947"]},{"raw_affiliation_string":"A. P. Ershov Institute of Informatics Systems, Siberian Branch, Russian Academy of Sciences, Novosibirsk, Russia","institution_ids":["https://openalex.org/I1313323035"]},{"raw_affiliation_string":"Novosibirsk State University, Novosibirsk, Russia","institution_ids":["https://openalex.org/I188973947"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5005614956","display_name":"Nataliya Gribovskaya","orcid":"https://orcid.org/0000-0002-9526-9023"},"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/I188973947","display_name":"Novosibirsk State University","ror":"https://ror.org/04t2ss102","country_code":"RU","type":"education","lineage":["https://openalex.org/I188973947"]},{"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":"N. S. Gribovskaya","raw_affiliation_strings":["A. P. Ershov Institute of Informatics Systems, Siberian Branch, Russian Academy of Sciences, pr. Akademika Lavrent\u2019eva 6, Novosibirsk, 630090, Russia","Novosibirsk State University, ul. Pirogova 2, Novosibirsk, 630090, Russia","Novosibirsk State University, Novosibirsk, Russia","A. P. Ershov Institute of Informatics Systems, Siberian Branch, Russian Academy of Sciences, Novosibirsk, Russia"],"affiliations":[{"raw_affiliation_string":"A. P. Ershov Institute of Informatics Systems, Siberian Branch, Russian Academy of Sciences, pr. Akademika Lavrent\u2019eva 6, Novosibirsk, 630090, Russia","institution_ids":["https://openalex.org/I4210127387"]},{"raw_affiliation_string":"Novosibirsk State University, ul. Pirogova 2, Novosibirsk, 630090, Russia","institution_ids":["https://openalex.org/I188973947"]},{"raw_affiliation_string":"Novosibirsk State University, Novosibirsk, Russia","institution_ids":["https://openalex.org/I188973947"]},{"raw_affiliation_string":"A. P. Ershov Institute of Informatics Systems, Siberian Branch, Russian Academy of Sciences, Novosibirsk, Russia","institution_ids":["https://openalex.org/I1313323035"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5013247640"],"corresponding_institution_ids":["https://openalex.org/I1313323035","https://openalex.org/I188973947","https://openalex.org/I4210127387"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.1507703,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"36","issue":"3","first_page":"138","last_page":"148"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9997000098228455,"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.9997000098228455,"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/T10904","display_name":"Embedded Systems Design Techniques","score":0.998199999332428,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"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.9961000084877014,"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/concurrency","display_name":"Concurrency","score":0.8826342225074768},{"id":"https://openalex.org/keywords/metatheory","display_name":"Metatheory","score":0.8455854058265686},{"id":"https://openalex.org/keywords/bisimulation","display_name":"Bisimulation","score":0.7178625464439392},{"id":"https://openalex.org/keywords/transition-system","display_name":"Transition system","score":0.6893545985221863},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6131446957588196},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.5724231004714966},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.4765397012233734},{"id":"https://openalex.org/keywords/transition","display_name":"Transition (genetics)","score":0.4420674443244934},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.3340325355529785}],"concepts":[{"id":"https://openalex.org/C193702766","wikidata":"https://www.wikidata.org/wiki/Q1414548","display_name":"Concurrency","level":2,"score":0.8826342225074768},{"id":"https://openalex.org/C39387531","wikidata":"https://www.wikidata.org/wiki/Q1096708","display_name":"Metatheory","level":2,"score":0.8455854058265686},{"id":"https://openalex.org/C135315306","wikidata":"https://www.wikidata.org/wiki/Q866364","display_name":"Bisimulation","level":2,"score":0.7178625464439392},{"id":"https://openalex.org/C2779167558","wikidata":"https://www.wikidata.org/wiki/Q176468","display_name":"Transition system","level":2,"score":0.6893545985221863},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6131446957588196},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.5724231004714966},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4765397012233734},{"id":"https://openalex.org/C194232998","wikidata":"https://www.wikidata.org/wiki/Q1606712","display_name":"Transition (genetics)","level":3,"score":0.4420674443244934},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.3340325355529785},{"id":"https://openalex.org/C104317684","wikidata":"https://www.wikidata.org/wiki/Q7187","display_name":"Gene","level":2,"score":0.0},{"id":"https://openalex.org/C55493867","wikidata":"https://www.wikidata.org/wiki/Q7094","display_name":"Biochemistry","level":1,"score":0.0},{"id":"https://openalex.org/C185592680","wikidata":"https://www.wikidata.org/wiki/Q2329","display_name":"Chemistry","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1134/s0361768810030023","is_oa":false,"landing_page_url":"https://doi.org/10.1134/s0361768810030023","pdf_url":null,"source":{"id":"https://openalex.org/S150218641","display_name":"Programming and Computer Software","issn_l":"0361-7688","issn":["0361-7688","1608-3261"],"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/P4310320267","host_organization_name":"Pleiades Publishing","host_organization_lineage":["https://openalex.org/P4310320267","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Pleiades Publishing","Springer Nature"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Programming and Computer Software","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":46,"referenced_works":["https://openalex.org/W130102441","https://openalex.org/W1482486776","https://openalex.org/W1500812389","https://openalex.org/W1506164031","https://openalex.org/W1506579115","https://openalex.org/W1541595433","https://openalex.org/W1547562281","https://openalex.org/W1558612067","https://openalex.org/W1559181602","https://openalex.org/W1560378398","https://openalex.org/W1565034387","https://openalex.org/W1565166805","https://openalex.org/W1565227122","https://openalex.org/W1566733033","https://openalex.org/W1569530399","https://openalex.org/W1570820794","https://openalex.org/W1582292473","https://openalex.org/W1586805319","https://openalex.org/W1586966546","https://openalex.org/W1593414957","https://openalex.org/W1689225743","https://openalex.org/W1705861437","https://openalex.org/W1778175466","https://openalex.org/W1794303326","https://openalex.org/W1984801861","https://openalex.org/W2033839526","https://openalex.org/W2039290601","https://openalex.org/W2043229226","https://openalex.org/W2043781314","https://openalex.org/W2101508170","https://openalex.org/W2116509046","https://openalex.org/W2124302819","https://openalex.org/W2137865376","https://openalex.org/W2147535250","https://openalex.org/W2151233126","https://openalex.org/W2153273838","https://openalex.org/W2155771207","https://openalex.org/W2155852086","https://openalex.org/W2157144873","https://openalex.org/W2170806672","https://openalex.org/W2205337852","https://openalex.org/W2589217375","https://openalex.org/W2911550362","https://openalex.org/W3144368627","https://openalex.org/W3160064372","https://openalex.org/W4206183253"],"related_works":["https://openalex.org/W59382029","https://openalex.org/W2376140444","https://openalex.org/W2094903923","https://openalex.org/W1555673433","https://openalex.org/W4319456988","https://openalex.org/W1495872178","https://openalex.org/W2003499082","https://openalex.org/W2021026222","https://openalex.org/W2129909535","https://openalex.org/W2085191369"],"abstract_inverted_index":{"Timed":[0],"transition":[1,21],"systems":[2,22],"are":[3,23,33,38],"one":[4],"of":[5,19,30,50,72,82],"the":[6,14,44,51,77],"most":[7],"popular":[8],"real-time":[9],"models":[10],"for":[11,67],"concurrency.":[12],"In":[13,27,40],"paper,":[15],"various":[16],"behavioral":[17,74],"equivalences":[18,53,75],"timed":[20,73],"defined":[24],"and":[25,35,70],"studied.":[26,39],"particular,":[28],"categories":[29],"this":[31],"model":[32],"constructed,":[34],"their":[36],"properties":[37],"addition,":[41],"based":[42],"on":[43],"open":[45],"maps":[46],"concept,":[47],"abstract":[48],"characterization":[49],"considered":[52],"is":[54],"given.":[55],"Such":[56],"an":[57],"approach":[58],"makes":[59],"it":[60],"possible":[61],"to":[62],"develop":[63],"a":[64],"metatheory":[65],"designed":[66],"unified":[68],"definition":[69],"study":[71],"in":[76],"\u201clinear":[78],"time-branching":[79],"time\u201d":[80],"spectrum":[81],"semantics.":[83]},"counts_by_year":[],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}