{"id":"https://openalex.org/W4394569816","doi":"https://doi.org/10.1145/3656582","title":"Rate Lifting for Stochastic Process Algebra by Transition Context Augmentation","display_name":"Rate Lifting for Stochastic Process Algebra by Transition Context Augmentation","publication_year":2024,"publication_date":"2024-04-08","ids":{"openalex":"https://openalex.org/W4394569816","doi":"https://doi.org/10.1145/3656582"},"language":"en","primary_location":{"id":"doi:10.1145/3656582","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3656582","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3656582","source":{"id":"https://openalex.org/S38703467","display_name":"ACM Transactions on Modeling and Computer Simulation","issn_l":"1049-3301","issn":["1049-3301","1558-1195"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Transactions on Modeling and Computer Simulation","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"bronze","oa_url":"https://dl.acm.org/doi/pdf/10.1145/3656582","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5088264745","display_name":"Amin Soltanieh","orcid":"https://orcid.org/0000-0003-2075-8815"},"institutions":[{"id":"https://openalex.org/I40527276","display_name":"Universit\u00e4t der Bundeswehr M\u00fcnchen","ror":"https://ror.org/05kkv3f82","country_code":"DE","type":"education","lineage":["https://openalex.org/I1315109972","https://openalex.org/I40527276","https://openalex.org/I4387152969"]}],"countries":["DE"],"is_corresponding":true,"raw_author_name":"Amin Soltanieh","raw_affiliation_strings":["Universit\u00e4t der Bundeswehr M\u00fcnchen Fakult\u00e4t f\u00fcr Informatik, Neubiberg, Germany"],"raw_orcid":"https://orcid.org/0000-0003-2075-8815","affiliations":[{"raw_affiliation_string":"Universit\u00e4t der Bundeswehr M\u00fcnchen Fakult\u00e4t f\u00fcr Informatik, Neubiberg, Germany","institution_ids":["https://openalex.org/I40527276"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5048017742","display_name":"Markus Siegle","orcid":"https://orcid.org/0000-0001-7639-2280"},"institutions":[{"id":"https://openalex.org/I40527276","display_name":"Universit\u00e4t der Bundeswehr M\u00fcnchen","ror":"https://ror.org/05kkv3f82","country_code":"DE","type":"education","lineage":["https://openalex.org/I1315109972","https://openalex.org/I40527276","https://openalex.org/I4387152969"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Markus Siegle","raw_affiliation_strings":["Universit\u00e4t der Bundeswehr M\u00fcnchen Fakult\u00e4t f\u00fcr Informatik, Neubiberg, Germany"],"raw_orcid":"https://orcid.org/0000-0001-7639-2280","affiliations":[{"raw_affiliation_string":"Universit\u00e4t der Bundeswehr M\u00fcnchen Fakult\u00e4t f\u00fcr Informatik, Neubiberg, Germany","institution_ids":["https://openalex.org/I40527276"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5088264745"],"corresponding_institution_ids":["https://openalex.org/I40527276"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":true,"cited_by_count":0,"citation_normalized_percentile":{"value":0.04706536,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"34","issue":"3","first_page":"1","last_page":"30"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11195","display_name":"Simulation Techniques and Applications","score":0.9941999912261963,"subfield":{"id":"https://openalex.org/subfields/1803","display_name":"Management Science and Operations Research"},"field":{"id":"https://openalex.org/fields/18","display_name":"Decision Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},"topics":[{"id":"https://openalex.org/T11195","display_name":"Simulation Techniques and Applications","score":0.9941999912261963,"subfield":{"id":"https://openalex.org/subfields/1803","display_name":"Management Science and Operations Research"},"field":{"id":"https://openalex.org/fields/18","display_name":"Decision Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9803000092506409,"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/T10317","display_name":"Advanced Database Systems and Queries","score":0.9739000201225281,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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/context","display_name":"Context (archaeology)","score":0.6495913863182068},{"id":"https://openalex.org/keywords/process","display_name":"Process (computing)","score":0.6214776039123535},{"id":"https://openalex.org/keywords/process-calculus","display_name":"Process calculus","score":0.571471631526947},{"id":"https://openalex.org/keywords/algebra-over-a-field","display_name":"Algebra over a field","score":0.5251721739768982},{"id":"https://openalex.org/keywords/transition","display_name":"Transition (genetics)","score":0.5210058689117432},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5068414807319641},{"id":"https://openalex.org/keywords/stochastic-process","display_name":"Stochastic process","score":0.4719768166542053},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.39422351121902466},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.2952221930027008},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.19855543971061707},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.18298745155334473},{"id":"https://openalex.org/keywords/statistics","display_name":"Statistics","score":0.13401052355766296},{"id":"https://openalex.org/keywords/geography","display_name":"Geography","score":0.08006572723388672}],"concepts":[{"id":"https://openalex.org/C2779343474","wikidata":"https://www.wikidata.org/wiki/Q3109175","display_name":"Context (archaeology)","level":2,"score":0.6495913863182068},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.6214776039123535},{"id":"https://openalex.org/C161771561","wikidata":"https://www.wikidata.org/wiki/Q1970286","display_name":"Process calculus","level":2,"score":0.571471631526947},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.5251721739768982},{"id":"https://openalex.org/C194232998","wikidata":"https://www.wikidata.org/wiki/Q1606712","display_name":"Transition (genetics)","level":3,"score":0.5210058689117432},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5068414807319641},{"id":"https://openalex.org/C8272713","wikidata":"https://www.wikidata.org/wiki/Q176737","display_name":"Stochastic process","level":2,"score":0.4719768166542053},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.39422351121902466},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.2952221930027008},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.19855543971061707},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.18298745155334473},{"id":"https://openalex.org/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"score":0.13401052355766296},{"id":"https://openalex.org/C205649164","wikidata":"https://www.wikidata.org/wiki/Q1071","display_name":"Geography","level":0,"score":0.08006572723388672},{"id":"https://openalex.org/C104317684","wikidata":"https://www.wikidata.org/wiki/Q7187","display_name":"Gene","level":2,"score":0.0},{"id":"https://openalex.org/C166957645","wikidata":"https://www.wikidata.org/wiki/Q23498","display_name":"Archaeology","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},{"id":"https://openalex.org/C55493867","wikidata":"https://www.wikidata.org/wiki/Q7094","display_name":"Biochemistry","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3656582","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3656582","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3656582","source":{"id":"https://openalex.org/S38703467","display_name":"ACM Transactions on Modeling and Computer Simulation","issn_l":"1049-3301","issn":["1049-3301","1558-1195"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Transactions on Modeling and Computer Simulation","raw_type":"journal-article"}],"best_oa_location":{"id":"doi:10.1145/3656582","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3656582","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3656582","source":{"id":"https://openalex.org/S38703467","display_name":"ACM Transactions on Modeling and Computer Simulation","issn_l":"1049-3301","issn":["1049-3301","1558-1195"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Transactions on Modeling and Computer Simulation","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4394569816.pdf","grobid_xml":"https://content.openalex.org/works/W4394569816.grobid-xml"},"referenced_works_count":24,"referenced_works":["https://openalex.org/W113325595","https://openalex.org/W798280485","https://openalex.org/W1497788657","https://openalex.org/W1574505635","https://openalex.org/W1862398452","https://openalex.org/W2027823200","https://openalex.org/W2040119000","https://openalex.org/W2095861482","https://openalex.org/W2114879646","https://openalex.org/W2116006069","https://openalex.org/W2137865376","https://openalex.org/W2141881497","https://openalex.org/W2160136100","https://openalex.org/W2165439624","https://openalex.org/W2485833423","https://openalex.org/W2593267253","https://openalex.org/W2909939412","https://openalex.org/W3011932343","https://openalex.org/W3147412596","https://openalex.org/W3207198994","https://openalex.org/W4206542816","https://openalex.org/W4210281981","https://openalex.org/W4280651663","https://openalex.org/W4295113553"],"related_works":["https://openalex.org/W2077815947","https://openalex.org/W2809357786","https://openalex.org/W1823625875","https://openalex.org/W2132217355","https://openalex.org/W2170466294","https://openalex.org/W2123111774","https://openalex.org/W1511004497","https://openalex.org/W2142005831","https://openalex.org/W2014322972","https://openalex.org/W2112263892"],"abstract_inverted_index":{"This":[0],"article":[1],"presents":[2],"an":[3,69],"algorithm":[4,47,91,114],"for":[5,38,128],"determining":[6],"the":[7,11,23,26,46,57,81,88,97,113,129],"unknown":[8],"rates":[9,24],"in":[10,25,96,138],"sequential":[12],"processes":[13],"of":[14,52,71,87,121],"a":[15,33,72],"Stochastic":[16],"Process":[17],"Algebra":[18],"(SPA)":[19],"model,":[20],"provided":[21],"that":[22],"combined":[27],"flat":[28],"model":[29,39,43],"are":[30,125],"given.":[31],"Such":[32],"rate":[34,89],"lifting":[35,90],"is":[36,92,103],"useful":[37],"reverse":[40],"engineering":[41],"and":[42,75,94,99,118,132],"repair.":[44],"Technically,":[45],"works":[48],"by":[49,105,112],"solving":[50],"systems":[51],"nonlinear":[53],"equations":[54],"and\u2014if":[55],"necessary\u2014adjusting":[56],"model\u2019s":[58],"synchronisation":[59],"structure,":[60],"without":[61],"changing":[62],"its":[63,100],"transition":[64,82],"system.":[65],"The":[66,84,109],"adjustments":[67],"cause":[68],"augmentation":[70],"transition\u2019s":[73],"context":[74],"thus":[76],"enable":[77],"additional":[78],"control":[79],"over":[80],"rate.":[83],"complete":[85],"pseudo-code":[86],"included":[93],"discussed":[95],"article,":[98],"practical":[101],"usefulness":[102],"demonstrated":[104],"two":[106],"case":[107],"studies.":[108],"approach":[110],"taken":[111],"exploits":[115],"some":[116],"structural":[117],"behavioural":[119],"properties":[120],"SPA":[122],"systems,":[123],"which":[124],"formulated":[126],"here":[127],"first":[130],"time":[131],"could":[133],"be":[134],"very":[135],"beneficial":[136],"also":[137],"other":[139],"contexts,":[140],"such":[141],"as":[142],"compositional":[143],"system":[144],"verification.":[145]},"counts_by_year":[],"updated_date":"2026-05-21T06:26:12.895304","created_date":"2025-10-10T00:00:00"}