{"id":"https://openalex.org/W2790309851","doi":"https://doi.org/10.1007/s00236-018-0313-1","title":"Probabilistic bisimulation for realistic schedulers","display_name":"Probabilistic bisimulation for realistic schedulers","publication_year":2018,"publication_date":"2018-02-24","ids":{"openalex":"https://openalex.org/W2790309851","doi":"https://doi.org/10.1007/s00236-018-0313-1","mag":"2790309851"},"language":"en","primary_location":{"id":"doi:10.1007/s00236-018-0313-1","is_oa":false,"landing_page_url":"https://doi.org/10.1007/s00236-018-0313-1","pdf_url":null,"source":{"id":"https://openalex.org/S84409463","display_name":"Acta Informatica","issn_l":"0001-5903","issn":["0001-5903","1432-0525"],"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":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Acta Informatica","raw_type":"journal-article"},"type":"article","indexed_in":["crossref","datacite"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://doi.org/10.22028/d291-48212","any_repository_has_fulltext":null},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5100448153","display_name":"Lijun Zhang","orcid":"https://orcid.org/0000-0002-3692-2088"},"institutions":[{"id":"https://openalex.org/I19820366","display_name":"Chinese Academy of Sciences","ror":"https://ror.org/034t30j35","country_code":"CN","type":"government","lineage":["https://openalex.org/I19820366"]},{"id":"https://openalex.org/I4210128818","display_name":"Institute of Software","ror":"https://ror.org/033dfsn42","country_code":"CN","type":"facility","lineage":["https://openalex.org/I19820366","https://openalex.org/I4210128818"]},{"id":"https://openalex.org/I4210165038","display_name":"University of Chinese Academy of Sciences","ror":"https://ror.org/05qbk4x57","country_code":"CN","type":"education","lineage":["https://openalex.org/I19820366","https://openalex.org/I4210165038"]}],"countries":["CN"],"is_corresponding":true,"raw_author_name":"Lijun Zhang","raw_affiliation_strings":["State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences, Beijing, China","University of Chinese Academy of Sciences, Beijing, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences, Beijing, China","institution_ids":["https://openalex.org/I19820366","https://openalex.org/I4210128818"]},{"raw_affiliation_string":"University of Chinese Academy of Sciences, Beijing, China","institution_ids":["https://openalex.org/I4210165038"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5101664268","display_name":"Pengfei Yang","orcid":"https://orcid.org/0000-0003-4114-7757"},"institutions":[{"id":"https://openalex.org/I19820366","display_name":"Chinese Academy of Sciences","ror":"https://ror.org/034t30j35","country_code":"CN","type":"government","lineage":["https://openalex.org/I19820366"]},{"id":"https://openalex.org/I4210128818","display_name":"Institute of Software","ror":"https://ror.org/033dfsn42","country_code":"CN","type":"facility","lineage":["https://openalex.org/I19820366","https://openalex.org/I4210128818"]},{"id":"https://openalex.org/I4210165038","display_name":"University of Chinese Academy of Sciences","ror":"https://ror.org/05qbk4x57","country_code":"CN","type":"education","lineage":["https://openalex.org/I19820366","https://openalex.org/I4210165038"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Pengfei Yang","raw_affiliation_strings":["State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences, Beijing, China","University of Chinese Academy of Sciences, Beijing, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences, Beijing, China","institution_ids":["https://openalex.org/I19820366","https://openalex.org/I4210128818"]},{"raw_affiliation_string":"University of Chinese Academy of Sciences, Beijing, China","institution_ids":["https://openalex.org/I4210165038"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5088128024","display_name":"Lei Song","orcid":"https://orcid.org/0000-0003-2552-0443"},"institutions":[{"id":"https://openalex.org/I19820366","display_name":"Chinese Academy of Sciences","ror":"https://ror.org/034t30j35","country_code":"CN","type":"government","lineage":["https://openalex.org/I19820366"]},{"id":"https://openalex.org/I4210128818","display_name":"Institute of Software","ror":"https://ror.org/033dfsn42","country_code":"CN","type":"facility","lineage":["https://openalex.org/I19820366","https://openalex.org/I4210128818"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Lei Song","raw_affiliation_strings":["State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences, Beijing, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences, Beijing, China","institution_ids":["https://openalex.org/I19820366","https://openalex.org/I4210128818"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5028747794","display_name":"Holger Hermanns","orcid":"https://orcid.org/0000-0002-2766-9615"},"institutions":[{"id":"https://openalex.org/I91712215","display_name":"Saarland University","ror":"https://ror.org/01jdpyv68","country_code":"DE","type":"education","lineage":["https://openalex.org/I91712215"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Holger Hermanns","raw_affiliation_strings":["Saarland University, Saarbr\u00fccken, Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Saarland University, Saarbr\u00fccken, Germany","institution_ids":["https://openalex.org/I91712215"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5030605272","display_name":"Christian Eisentraut","orcid":"https://orcid.org/0000-0002-7735-8751"},"institutions":[{"id":"https://openalex.org/I91712215","display_name":"Saarland University","ror":"https://ror.org/01jdpyv68","country_code":"DE","type":"education","lineage":["https://openalex.org/I91712215"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Christian Eisentraut","raw_affiliation_strings":["Saarland University, Saarbr\u00fccken, Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Saarland University, Saarbr\u00fccken, Germany","institution_ids":["https://openalex.org/I91712215"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5006029818","display_name":"David N. Jansen","orcid":"https://orcid.org/0000-0002-6636-3301"},"institutions":[{"id":"https://openalex.org/I19820366","display_name":"Chinese Academy of Sciences","ror":"https://ror.org/034t30j35","country_code":"CN","type":"government","lineage":["https://openalex.org/I19820366"]},{"id":"https://openalex.org/I4210128818","display_name":"Institute of Software","ror":"https://ror.org/033dfsn42","country_code":"CN","type":"facility","lineage":["https://openalex.org/I19820366","https://openalex.org/I4210128818"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"David N. Jansen","raw_affiliation_strings":["State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences, Beijing, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences, Beijing, China","institution_ids":["https://openalex.org/I19820366","https://openalex.org/I4210128818"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5065045401","display_name":"Jens Chr. Godskesen","orcid":null},"institutions":[{"id":"https://openalex.org/I83467386","display_name":"IT University of Copenhagen","ror":"https://ror.org/02309jg23","country_code":"DK","type":"education","lineage":["https://openalex.org/I83467386"]}],"countries":["DK"],"is_corresponding":false,"raw_author_name":"Jens Chr. Godskesen","raw_affiliation_strings":["IT University of Copenhagen, Copenhagen, Denmark"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"IT University of Copenhagen, Copenhagen, Denmark","institution_ids":["https://openalex.org/I83467386"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":5,"corresponding_author_ids":["https://openalex.org/A5100448153"],"corresponding_institution_ids":["https://openalex.org/I19820366","https://openalex.org/I4210128818","https://openalex.org/I4210165038"],"apc_list":{"value":2990,"currency":"USD","value_usd":2990},"apc_paid":{"value":2990,"currency":"USD","value_usd":2990},"fwci":0.3795,"has_fulltext":false,"cited_by_count":3,"citation_normalized_percentile":{"value":0.61160693,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":96},"biblio":{"volume":"55","issue":"6","first_page":"461","last_page":"488"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9998000264167786,"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.9998000264167786,"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/T10933","display_name":"Real-Time Systems Scheduling","score":0.9997000098228455,"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/T10904","display_name":"Embedded Systems Design Techniques","score":0.9995999932289124,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/bisimulation","display_name":"Bisimulation","score":0.9278795719146729},{"id":"https://openalex.org/keywords/theory-of-computation","display_name":"Theory of computation","score":0.8584682941436768},{"id":"https://openalex.org/keywords/probabilistic-logic","display_name":"Probabilistic logic","score":0.6742048859596252},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5649523138999939},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.47581201791763306},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.3790510892868042},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.3680724501609802},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.3402351140975952},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.137128084897995}],"concepts":[{"id":"https://openalex.org/C135315306","wikidata":"https://www.wikidata.org/wiki/Q866364","display_name":"Bisimulation","level":2,"score":0.9278795719146729},{"id":"https://openalex.org/C24858836","wikidata":"https://www.wikidata.org/wiki/Q844718","display_name":"Theory of computation","level":2,"score":0.8584682941436768},{"id":"https://openalex.org/C49937458","wikidata":"https://www.wikidata.org/wiki/Q2599292","display_name":"Probabilistic logic","level":2,"score":0.6742048859596252},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5649523138999939},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.47581201791763306},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.3790510892868042},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.3680724501609802},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.3402351140975952},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.137128084897995}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1007/s00236-018-0313-1","is_oa":false,"landing_page_url":"https://doi.org/10.1007/s00236-018-0313-1","pdf_url":null,"source":{"id":"https://openalex.org/S84409463","display_name":"Acta Informatica","issn_l":"0001-5903","issn":["0001-5903","1432-0525"],"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":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Acta Informatica","raw_type":"journal-article"},{"id":"doi:10.22028/d291-48212","is_oa":true,"landing_page_url":"https://doi.org/10.22028/d291-48212","pdf_url":null,"source":null,"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"Collection"}],"best_oa_location":{"id":"doi:10.22028/d291-48212","is_oa":true,"landing_page_url":"https://doi.org/10.22028/d291-48212","pdf_url":null,"source":null,"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Collection"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G2181233778","display_name":"\u6982\u7387\u7cfb\u7edf\u7684\u6a21\u578b\u68c0\u9a8c\u4e0e\u5176\u5e94\u7528","funder_award_id":"61472473","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G7468986614","display_name":"\u5927\u89c4\u6a21\u6982\u7387\u5e76\u53d1\u5b9e\u65f6\u7cfb\u7edf\u6a21\u578b\u68c0\u9a8c","funder_award_id":"61532019","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"}],"funders":[{"id":"https://openalex.org/F4320321001","display_name":"National Natural Science Foundation of China","ror":"https://ror.org/01h0zpd94"},{"id":"https://openalex.org/F4320334994","display_name":"CAS-SAFEA International Partnership Program for Creative Research Teams","ror":"https://ror.org/055gka453"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":38,"referenced_works":["https://openalex.org/W40750098","https://openalex.org/W78405526","https://openalex.org/W1489359924","https://openalex.org/W1507380329","https://openalex.org/W1507843766","https://openalex.org/W1526075880","https://openalex.org/W1562046958","https://openalex.org/W1594563152","https://openalex.org/W1597655219","https://openalex.org/W1608455964","https://openalex.org/W1810681804","https://openalex.org/W1828556947","https://openalex.org/W1850900101","https://openalex.org/W1851152565","https://openalex.org/W1874444266","https://openalex.org/W1971346686","https://openalex.org/W1976035665","https://openalex.org/W1985161650","https://openalex.org/W1995469594","https://openalex.org/W2012095234","https://openalex.org/W2056928795","https://openalex.org/W2083770991","https://openalex.org/W2088956500","https://openalex.org/W2110411539","https://openalex.org/W2115555017","https://openalex.org/W2117429544","https://openalex.org/W2140908765","https://openalex.org/W2152640722","https://openalex.org/W2163234015","https://openalex.org/W2168098347","https://openalex.org/W2176767353","https://openalex.org/W2251489615","https://openalex.org/W2273636077","https://openalex.org/W2405128362","https://openalex.org/W2663462053","https://openalex.org/W2809627970","https://openalex.org/W2963540427","https://openalex.org/W4285719527"],"related_works":["https://openalex.org/W2125381826","https://openalex.org/W2008781243","https://openalex.org/W2790309851","https://openalex.org/W3144317787","https://openalex.org/W2761131108","https://openalex.org/W3096633875","https://openalex.org/W1497573972","https://openalex.org/W2124122503","https://openalex.org/W2071659383","https://openalex.org/W1846253165"],"abstract_inverted_index":{"Weak":[0],"distribution":[1,32,81],"bisimilarity":[2],"is":[3,55,83,91],"an":[4],"equivalence":[5,24,33,82],"notion":[6,64],"on":[7],"probabilistic":[8],"automata,":[9],"originally":[10],"proposed":[11],"for":[12,85],"Markov":[13],"automata.":[14],"It":[15],"has":[16,47],"gained":[17],"some":[18],"popularity":[19],"as":[20],"the":[21,39,73,99],"coarsest":[22],"behavioral":[23,113],"enjoying":[25],"valuable":[26],"properties":[27,71],"like":[28],"preservation":[29],"of":[30,42,53,65,75,78,98,112],"trace":[31],"and":[34,89,107],"compositionality.":[35],"This":[36,58],"holds":[37],"in":[38,72],"classical":[40],"context":[41,74],"arbitrary":[43],"schedulers,":[44,88],"but":[45],"it":[46],"been":[48],"argued":[49],"that":[50],"this":[51],"class":[52],"schedulers":[54],"unrealistically":[56],"powerful.":[57],"paper":[59],"studies":[60],"a":[61,105],"strictly":[62],"coarser":[63,106],"bisimilarity,":[66],"which":[67],"still":[68,108],"enjoys":[69],"these":[70],"realistic":[76],"subclasses":[77],"schedulers:":[79],"Trace":[80],"implied":[84],"partial":[86],"information":[87],"compositionality":[90],"preserved":[92],"by":[93],"distributed":[94],"schedulers.":[95],"The":[96],"intersection":[97],"two":[100],"scheduler":[101],"classes":[102],"thus":[103],"spans":[104],"reasonable":[109],"compositional":[110],"theory":[111],"semantics.":[114]},"counts_by_year":[{"year":2022,"cited_by_count":1},{"year":2018,"cited_by_count":2}],"updated_date":"2026-07-29T09:40:50.615796","created_date":"2025-10-10T00:00:00"}