{"id":"https://openalex.org/W4412170418","doi":"https://doi.org/10.1080/17445760.2025.2527713","title":"Comparing dtsdPBC with other stochastic process algebras","display_name":"Comparing dtsdPBC with other stochastic process algebras","publication_year":2025,"publication_date":"2025-07-10","ids":{"openalex":"https://openalex.org/W4412170418","doi":"https://doi.org/10.1080/17445760.2025.2527713"},"language":"en","primary_location":{"id":"doi:10.1080/17445760.2025.2527713","is_oa":false,"landing_page_url":"https://doi.org/10.1080/17445760.2025.2527713","pdf_url":null,"source":{"id":"https://openalex.org/S85375271","display_name":"International Journal of Parallel Emergent and Distributed Systems","issn_l":"1744-5760","issn":["1744-5760","1744-5779"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320547","host_organization_name":"Taylor & Francis","host_organization_lineage":["https://openalex.org/P4310320547"],"host_organization_lineage_names":["Taylor & Francis"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"International Journal of Parallel, Emergent and Distributed Systems","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/A5064850266","display_name":"Igor V. Tarasyuk","orcid":"https://orcid.org/0000-0002-2047-1921"},"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"]}],"countries":["RU"],"is_corresponding":true,"raw_author_name":"I. V. Tarasyuk","raw_affiliation_strings":["Siberian Branch of the Russian Academy of Sciences"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Siberian Branch of the Russian Academy of Sciences","institution_ids":["https://openalex.org/I4210127387"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5064850266"],"corresponding_institution_ids":["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.16275176,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"40","issue":"5","first_page":"501","last_page":"569"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9980000257492065,"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.9980000257492065,"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/T10621","display_name":"Gene Regulatory Network Analysis","score":0.9901000261306763,"subfield":{"id":"https://openalex.org/subfields/1312","display_name":"Molecular Biology"},"field":{"id":"https://openalex.org/fields/13","display_name":"Biochemistry, Genetics and Molecular Biology"},"domain":{"id":"https://openalex.org/domains/1","display_name":"Life Sciences"}},{"id":"https://openalex.org/T11125","display_name":"Petri Nets in System Modeling","score":0.9811000227928162,"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/computer-science","display_name":"Computer science","score":0.6982560753822327},{"id":"https://openalex.org/keywords/process","display_name":"Process (computing)","score":0.6000137329101562},{"id":"https://openalex.org/keywords/mathematical-economics","display_name":"Mathematical economics","score":0.35745495557785034},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.20114782452583313},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.12967520952224731}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6982560753822327},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.6000137329101562},{"id":"https://openalex.org/C144237770","wikidata":"https://www.wikidata.org/wiki/Q747534","display_name":"Mathematical economics","level":1,"score":0.35745495557785034},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.20114782452583313},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.12967520952224731}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1080/17445760.2025.2527713","is_oa":false,"landing_page_url":"https://doi.org/10.1080/17445760.2025.2527713","pdf_url":null,"source":{"id":"https://openalex.org/S85375271","display_name":"International Journal of Parallel Emergent and Distributed Systems","issn_l":"1744-5760","issn":["1744-5760","1744-5779"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320547","host_organization_name":"Taylor & Francis","host_organization_lineage":["https://openalex.org/P4310320547"],"host_organization_lineage_names":["Taylor & Francis"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"International Journal of Parallel, Emergent and Distributed Systems","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":272,"referenced_works":["https://openalex.org/W34141764","https://openalex.org/W54310204","https://openalex.org/W91064246","https://openalex.org/W140550249","https://openalex.org/W167751234","https://openalex.org/W176034588","https://openalex.org/W198287998","https://openalex.org/W198797983","https://openalex.org/W202090939","https://openalex.org/W258022877","https://openalex.org/W266520572","https://openalex.org/W275084143","https://openalex.org/W1421289071","https://openalex.org/W1481091958","https://openalex.org/W1482758428","https://openalex.org/W1483963878","https://openalex.org/W1491196069","https://openalex.org/W1493243743","https://openalex.org/W1494374840","https://openalex.org/W1495559266","https://openalex.org/W1497099843","https://openalex.org/W1499223469","https://openalex.org/W1499636396","https://openalex.org/W1499809464","https://openalex.org/W1501525671","https://openalex.org/W1505169662","https://openalex.org/W1507843766","https://openalex.org/W1513322016","https://openalex.org/W1513962738","https://openalex.org/W1516206624","https://openalex.org/W1522756649","https://openalex.org/W1526751176","https://openalex.org/W1527186306","https://openalex.org/W1534396082","https://openalex.org/W1535192306","https://openalex.org/W1537348057","https://openalex.org/W1537624148","https://openalex.org/W1538436743","https://openalex.org/W1543374740","https://openalex.org/W1544529442","https://openalex.org/W1546861692","https://openalex.org/W1554783694","https://openalex.org/W1562022629","https://openalex.org/W1562933101","https://openalex.org/W1565525547","https://openalex.org/W1566831327","https://openalex.org/W1567546963","https://openalex.org/W1571091199","https://openalex.org/W1572391577","https://openalex.org/W1580405793","https://openalex.org/W1580573119","https://openalex.org/W1580659983","https://openalex.org/W1586735752","https://openalex.org/W1587297963","https://openalex.org/W1589318611","https://openalex.org/W1595516773","https://openalex.org/W1597655219","https://openalex.org/W1599162377","https://openalex.org/W1600556058","https://openalex.org/W1602248957","https://openalex.org/W1604240241","https://openalex.org/W1604669046","https://openalex.org/W1623473440","https://openalex.org/W1805131879","https://openalex.org/W1806423210","https://openalex.org/W1809618218","https://openalex.org/W1851263206","https://openalex.org/W1851641680","https://openalex.org/W1863623968","https://openalex.org/W1874180568","https://openalex.org/W1878115606","https://openalex.org/W1880436303","https://openalex.org/W1907401487","https://openalex.org/W1910351586","https://openalex.org/W1912222072","https://openalex.org/W1928694579","https://openalex.org/W1934319200","https://openalex.org/W1940075790","https://openalex.org/W1968827335","https://openalex.org/W1983350265","https://openalex.org/W1983619730","https://openalex.org/W1986074415","https://openalex.org/W1988832260","https://openalex.org/W1992071167","https://openalex.org/W1992690675","https://openalex.org/W1993211089","https://openalex.org/W1995428640","https://openalex.org/W1996920086","https://openalex.org/W2000865099","https://openalex.org/W2004868751","https://openalex.org/W2009910020","https://openalex.org/W2010602678","https://openalex.org/W2011427634","https://openalex.org/W2012979560","https://openalex.org/W2013672985","https://openalex.org/W2014907753","https://openalex.org/W2017680674","https://openalex.org/W2020813639","https://openalex.org/W2020848022","https://openalex.org/W2024858150","https://openalex.org/W2028079360","https://openalex.org/W2029290872","https://openalex.org/W2029401959","https://openalex.org/W2032136678","https://openalex.org/W2033771089","https://openalex.org/W2034486676","https://openalex.org/W2034883517","https://openalex.org/W2038192316","https://openalex.org/W2040082021","https://openalex.org/W2040085466","https://openalex.org/W2040598439","https://openalex.org/W2042801853","https://openalex.org/W2042939769","https://openalex.org/W2045518213","https://openalex.org/W2047231556","https://openalex.org/W2050653042","https://openalex.org/W2059432586","https://openalex.org/W2062442550","https://openalex.org/W2062724117","https://openalex.org/W2064974862","https://openalex.org/W2070470314","https://openalex.org/W2072560253","https://openalex.org/W2074101662","https://openalex.org/W2075813176","https://openalex.org/W2078970595","https://openalex.org/W2080984519","https://openalex.org/W2082874501","https://openalex.org/W2084791569","https://openalex.org/W2084924279","https://openalex.org/W2087486424","https://openalex.org/W2091046239","https://openalex.org/W2096093673","https://openalex.org/W2098561872","https://openalex.org/W2098825363","https://openalex.org/W2099226714","https://openalex.org/W2101164588","https://openalex.org/W2101371179","https://openalex.org/W2102609194","https://openalex.org/W2103416572","https://openalex.org/W2103487065","https://openalex.org/W2106190666","https://openalex.org/W2109142454","https://openalex.org/W2110796675","https://openalex.org/W2111390218","https://openalex.org/W2111987809","https://openalex.org/W2113103483","https://openalex.org/W2113317262","https://openalex.org/W2114337911","https://openalex.org/W2115386268","https://openalex.org/W2115654637","https://openalex.org/W2116082125","https://openalex.org/W2117429544","https://openalex.org/W2118184521","https://openalex.org/W2119239145","https://openalex.org/W2121115481","https://openalex.org/W2121753274","https://openalex.org/W2121811364","https://openalex.org/W2121924838","https://openalex.org/W2122241814","https://openalex.org/W2122792487","https://openalex.org/W2123610695","https://openalex.org/W2125739093","https://openalex.org/W2127540159","https://openalex.org/W2127900144","https://openalex.org/W2128932399","https://openalex.org/W2130429899","https://openalex.org/W2130793115","https://openalex.org/W2132816129","https://openalex.org/W2133237146","https://openalex.org/W2135010822","https://openalex.org/W2135320702","https://openalex.org/W2135657750","https://openalex.org/W2135991677","https://openalex.org/W2136562946","https://openalex.org/W2136626795","https://openalex.org/W2140277138","https://openalex.org/W2141221549","https://openalex.org/W2141478443","https://openalex.org/W2145912972","https://openalex.org/W2146822640","https://openalex.org/W2148167082","https://openalex.org/W2148781563","https://openalex.org/W2149178443","https://openalex.org/W2149828825","https://openalex.org/W2150188445","https://openalex.org/W2153976524","https://openalex.org/W2154071973","https://openalex.org/W2154144595","https://openalex.org/W2155068093","https://openalex.org/W2155418451","https://openalex.org/W2157479132","https://openalex.org/W2158313010","https://openalex.org/W2158918323","https://openalex.org/W2158942489","https://openalex.org/W2159278787","https://openalex.org/W2160136100","https://openalex.org/W2161168641","https://openalex.org/W2161235182","https://openalex.org/W2161353020","https://openalex.org/W2163004742","https://openalex.org/W2163234015","https://openalex.org/W2163493106","https://openalex.org/W2167302242","https://openalex.org/W2169193349","https://openalex.org/W2170774457","https://openalex.org/W2172279531","https://openalex.org/W2176632081","https://openalex.org/W2188515296","https://openalex.org/W2237280868","https://openalex.org/W2256709084","https://openalex.org/W2267638272","https://openalex.org/W2274629768","https://openalex.org/W2282875934","https://openalex.org/W2284263109","https://openalex.org/W2284340808","https://openalex.org/W2294656289","https://openalex.org/W2294999689","https://openalex.org/W2332584986","https://openalex.org/W2337375804","https://openalex.org/W2340390498","https://openalex.org/W2369536269","https://openalex.org/W2460389227","https://openalex.org/W2462326848","https://openalex.org/W2501206750","https://openalex.org/W2535380504","https://openalex.org/W2571672395","https://openalex.org/W2589217375","https://openalex.org/W2611943439","https://openalex.org/W2710510407","https://openalex.org/W2751422188","https://openalex.org/W2771927446","https://openalex.org/W2789919459","https://openalex.org/W2790128392","https://openalex.org/W2806127461","https://openalex.org/W2913004508","https://openalex.org/W2951020892","https://openalex.org/W2953674580","https://openalex.org/W2971874129","https://openalex.org/W2973470444","https://openalex.org/W3007111576","https://openalex.org/W3015864650","https://openalex.org/W3021848730","https://openalex.org/W3021888099","https://openalex.org/W3023500921","https://openalex.org/W3035051918","https://openalex.org/W3098753623","https://openalex.org/W3116480571","https://openalex.org/W3143469549","https://openalex.org/W3147534053","https://openalex.org/W3148966553","https://openalex.org/W3150996254","https://openalex.org/W3151519309","https://openalex.org/W3194650806","https://openalex.org/W3212459375","https://openalex.org/W4206542816","https://openalex.org/W4220946969","https://openalex.org/W4237314950","https://openalex.org/W4238097735","https://openalex.org/W4241668691","https://openalex.org/W4298200086","https://openalex.org/W4313894549","https://openalex.org/W4372358099","https://openalex.org/W4386746494","https://openalex.org/W4387401701","https://openalex.org/W4388009246","https://openalex.org/W4391141999","https://openalex.org/W4391896703","https://openalex.org/W4401964620","https://openalex.org/W4403768235","https://openalex.org/W4405648288","https://openalex.org/W4409648243","https://openalex.org/W6941405181"],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2899084033","https://openalex.org/W2748952813","https://openalex.org/W2390279801","https://openalex.org/W4391913857","https://openalex.org/W2358668433","https://openalex.org/W4396701345","https://openalex.org/W2376932109","https://openalex.org/W2001405890","https://openalex.org/W4396696052"],"abstract_inverted_index":{"Discrete":[0],"time":[1,29,51],"stochastic":[2,15,45,63,81],"and":[3,16,26,56,69,85,95],"deterministic":[4,17,67,83],"Petri":[5],"box":[6],"calculus":[7],"(dtsdPBC)":[8],"is":[9],"a":[10],"parallel":[11],"process":[12,46],"algebra":[13],"with":[14,43],"delays.":[18],"To":[19],"evaluate":[20],"performance,":[21],"the":[22,50,90],"underlying":[23],"semi-Markov":[24],"chains":[25,31],"(reduced)":[27],"discrete":[28,79],"Markov":[30],"are":[32,78],"analyzed.":[33],"We":[34,88],"determine":[35],"positive":[36],"features":[37],"of":[38,62,66,76,98],"dtsdPBC":[39,77],"by":[40,49],"comparing":[41],"it":[42],"other":[44],"algebras,":[47],"classified":[48],"model":[52],"(continuous":[53],"or":[54,59],"discrete)":[55],"concept":[57],"(integrated":[58],"orthogonal),":[60],"distribution":[61],"delays,":[64],"existence":[65],"(multi)actions":[68],"semantic":[70],"parallelism.":[71],"The":[72],"detected":[73],"strong":[74],"points":[75],"integrated":[80],"time,":[82],"multiactions":[84],"step":[86],"semantics.":[87],"discuss":[89],"analytical":[91],"solution,":[92],"concurrency":[93],"interpretation":[94],"application":[96],"area":[97],"dtsdPBC.":[99]},"counts_by_year":[],"updated_date":"2026-06-15T08:34:33.830935","created_date":"2025-10-10T00:00:00"}