{"id":"https://openalex.org/W2032286844","doi":"https://doi.org/10.1016/s1571-0661(04)00227-0","title":"Non-determinism in Probabilistic Timed Systems with General Distributions","display_name":"Non-determinism in Probabilistic Timed Systems with General Distributions","publication_year":2002,"publication_date":"2002-05-01","ids":{"openalex":"https://openalex.org/W2032286844","doi":"https://doi.org/10.1016/s1571-0661(04)00227-0","mag":"2032286844"},"language":"en","primary_location":{"id":"doi:10.1016/s1571-0661(04)00227-0","is_oa":true,"landing_page_url":"https://doi.org/10.1016/s1571-0661(04)00227-0","pdf_url":null,"source":{"id":"https://openalex.org/S50368787","display_name":"Electronic Notes in Theoretical Computer Science","issn_l":"1571-0661","issn":["1571-0661"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320990","host_organization_name":"Elsevier BV","host_organization_lineage":["https://openalex.org/P4310320990"],"host_organization_lineage_names":["Elsevier BV"],"type":"journal"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Electronic Notes in Theoretical Computer Science","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"diamond","oa_url":"https://doi.org/10.1016/s1571-0661(04)00227-0","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5066677397","display_name":"Mario Bravetti","orcid":"https://orcid.org/0000-0001-5193-2914"},"institutions":[{"id":"https://openalex.org/I9360294","display_name":"University of Bologna","ror":"https://ror.org/01111rn36","country_code":"IT","type":"education","lineage":["https://openalex.org/I9360294"]}],"countries":["IT"],"is_corresponding":true,"raw_author_name":"Mario Bravetti","raw_affiliation_strings":["Dipartimento di Scienze dell'Informazione, University of Bologna, Mura Anteo Zamboni 7, 40127 Bologna, Italy"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Dipartimento di Scienze dell'Informazione, University of Bologna, Mura Anteo Zamboni 7, 40127 Bologna, Italy","institution_ids":["https://openalex.org/I9360294"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5044960820","display_name":"Alessandro Aldini","orcid":"https://orcid.org/0000-0002-7250-5011"},"institutions":[{"id":"https://openalex.org/I9360294","display_name":"University of Bologna","ror":"https://ror.org/01111rn36","country_code":"IT","type":"education","lineage":["https://openalex.org/I9360294"]}],"countries":["IT"],"is_corresponding":true,"raw_author_name":"Alessandro Aldini","raw_affiliation_strings":["Dipartimento di Scienze dell'Informazione, University of Bologna, Mura Anteo Zamboni 7, 40127 Bologna, Italy"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Dipartimento di Scienze dell'Informazione, University of Bologna, Mura Anteo Zamboni 7, 40127 Bologna, Italy","institution_ids":["https://openalex.org/I9360294"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5044960820","https://openalex.org/A5066677397"],"corresponding_institution_ids":["https://openalex.org/I9360294"],"apc_list":null,"apc_paid":null,"fwci":1.0381,"has_fulltext":false,"cited_by_count":3,"citation_normalized_percentile":{"value":0.74926155,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"52","issue":"3","first_page":"246","last_page":"274"},"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/T11125","display_name":"Petri Nets in System Modeling","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/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.9916999936103821,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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/probabilistic-logic","display_name":"Probabilistic logic","score":0.7931973338127136},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6173892021179199},{"id":"https://openalex.org/keywords/class","display_name":"Class (philosophy)","score":0.5934923887252808},{"id":"https://openalex.org/keywords/a-priori-and-a-posteriori","display_name":"A priori and a posteriori","score":0.5670464038848877},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.5316078662872314},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.530681848526001},{"id":"https://openalex.org/keywords/markov-chain","display_name":"Markov chain","score":0.4955662488937378},{"id":"https://openalex.org/keywords/markov-decision-process","display_name":"Markov decision process","score":0.4724942743778229},{"id":"https://openalex.org/keywords/determinism","display_name":"Determinism","score":0.44446492195129395},{"id":"https://openalex.org/keywords/markov-process","display_name":"Markov process","score":0.39382389187812805},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.3366463780403137},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.1651095151901245},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.13539865612983704},{"id":"https://openalex.org/keywords/machine-learning","display_name":"Machine learning","score":0.08220553398132324}],"concepts":[{"id":"https://openalex.org/C49937458","wikidata":"https://www.wikidata.org/wiki/Q2599292","display_name":"Probabilistic logic","level":2,"score":0.7931973338127136},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6173892021179199},{"id":"https://openalex.org/C2777212361","wikidata":"https://www.wikidata.org/wiki/Q5127848","display_name":"Class (philosophy)","level":2,"score":0.5934923887252808},{"id":"https://openalex.org/C75553542","wikidata":"https://www.wikidata.org/wiki/Q178161","display_name":"A priori and a posteriori","level":2,"score":0.5670464038848877},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.5316078662872314},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.530681848526001},{"id":"https://openalex.org/C98763669","wikidata":"https://www.wikidata.org/wiki/Q176645","display_name":"Markov chain","level":2,"score":0.4955662488937378},{"id":"https://openalex.org/C106189395","wikidata":"https://www.wikidata.org/wiki/Q176789","display_name":"Markov decision process","level":3,"score":0.4724942743778229},{"id":"https://openalex.org/C192183473","wikidata":"https://www.wikidata.org/wiki/Q131133","display_name":"Determinism","level":2,"score":0.44446492195129395},{"id":"https://openalex.org/C159886148","wikidata":"https://www.wikidata.org/wiki/Q176645","display_name":"Markov process","level":2,"score":0.39382389187812805},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.3366463780403137},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.1651095151901245},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.13539865612983704},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.08220553398132324},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.0},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.0},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"score":0.0}],"mesh":[],"locations_count":4,"locations":[{"id":"doi:10.1016/s1571-0661(04)00227-0","is_oa":true,"landing_page_url":"https://doi.org/10.1016/s1571-0661(04)00227-0","pdf_url":null,"source":{"id":"https://openalex.org/S50368787","display_name":"Electronic Notes in Theoretical Computer Science","issn_l":"1571-0661","issn":["1571-0661"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320990","host_organization_name":"Elsevier BV","host_organization_lineage":["https://openalex.org/P4310320990"],"host_organization_lineage_names":["Elsevier BV"],"type":"journal"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Electronic Notes in Theoretical Computer Science","raw_type":"journal-article"},{"id":"pmh:oai:zenodo.org:26339","is_oa":true,"landing_page_url":"https://www.openaccessrepository.it/record/26339","pdf_url":"https://zenodo.org/record/26339","source":{"id":"https://openalex.org/S4306402478","display_name":"INFM-OAR (INFN Catania)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I4210116497","host_organization_name":"Istituto Nazionale di Fisica Nucleare, Sezione di Catania","host_organization_lineage":["https://openalex.org/I4210116497"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"info:eu-repo/semantics/article"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.22.264","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.22.264","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.cs.unibo.it/~bravetti/./html/../papers/mtcs01.ps","raw_type":"text"},{"id":"pmh:oai:ora.uniurb.it:11576/1892522","is_oa":false,"landing_page_url":"http://hdl.handle.net/11576/1892522","pdf_url":null,"source":{"id":"https://openalex.org/S4377196377","display_name":"CINECA IRIS Institutional Research information system (University of Urbino)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I190397597","host_organization_name":"University of Urbino","host_organization_lineage":["https://openalex.org/I190397597"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"info:eu-repo/semantics/conferenceObject"}],"best_oa_location":{"id":"doi:10.1016/s1571-0661(04)00227-0","is_oa":true,"landing_page_url":"https://doi.org/10.1016/s1571-0661(04)00227-0","pdf_url":null,"source":{"id":"https://openalex.org/S50368787","display_name":"Electronic Notes in Theoretical Computer Science","issn_l":"1571-0661","issn":["1571-0661"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320990","host_organization_name":"Elsevier BV","host_organization_lineage":["https://openalex.org/P4310320990"],"host_organization_lineage_names":["Elsevier BV"],"type":"journal"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Electronic Notes in Theoretical Computer Science","raw_type":"journal-article"},"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/16","score":0.550000011920929,"display_name":"Peace, Justice and strong institutions"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":27,"referenced_works":["https://openalex.org/W89687488","https://openalex.org/W258022877","https://openalex.org/W1503973138","https://openalex.org/W1504590953","https://openalex.org/W1510630994","https://openalex.org/W1543374740","https://openalex.org/W1602232868","https://openalex.org/W1976268573","https://openalex.org/W2021089599","https://openalex.org/W2028079360","https://openalex.org/W2032286844","https://openalex.org/W2055350841","https://openalex.org/W2094902343","https://openalex.org/W2095504289","https://openalex.org/W2103071636","https://openalex.org/W2146822640","https://openalex.org/W2152815305","https://openalex.org/W2155196766","https://openalex.org/W2176300081","https://openalex.org/W2491539874","https://openalex.org/W2589217375","https://openalex.org/W2883930003","https://openalex.org/W3144368627","https://openalex.org/W4210827858","https://openalex.org/W4254072264","https://openalex.org/W4285719527","https://openalex.org/W6635976569"],"related_works":["https://openalex.org/W2122524456","https://openalex.org/W2480576757","https://openalex.org/W2375512239","https://openalex.org/W2064696082","https://openalex.org/W2153545578","https://openalex.org/W2795587724","https://openalex.org/W2371594944","https://openalex.org/W187740018","https://openalex.org/W2162286586","https://openalex.org/W4255368532"],"abstract_inverted_index":{"In":[0,37,83,107],"this":[1,71,84],"paper":[2],"we":[3,39,112,150,170],"address":[4],"the":[5,41,55,67,95,101,105,123,130],"problem":[6],"of":[7,23,29,44,69,78,81,104,125,132,167],"adequately":[8],"handling":[9],"non-deterministic":[10],"choices":[11],"in":[12,62],"Generalised":[13,115],"Semi-Markov":[14,116],"Processes":[15,117],"(GSMPs),":[16],"i.e.":[17],"probabilistic":[18,42],"timed":[19],"systems":[20],"where":[21],"durations":[22],"delays":[24],"are":[25,140],"expressed":[26],"by":[27,60,121,163],"means":[28],"random":[30],"variables":[31],"with":[32,192],"a":[33,45,91,152],"general":[34],"probability":[35],"distribution.":[36],"particular":[38],"want":[40],"duration":[43],"delay":[46,56],"not":[47],"to":[48,73,109,179,194],"be":[49],"decided":[50],"all":[51],"at":[52],"once":[53],"when":[54],"starts,":[57],"but":[58],"step":[59,61],"each":[63],"system":[64],"state":[65],"(in":[66],"theory":[68],"GSMPs":[70],"corresponds":[72],"recording":[74,164],"spent":[75,165],"lifetimes":[76,80,166],"instead":[77],"residual":[79],"delays).":[82],"way":[85],"an":[86],"adversary":[87],"cannot":[88],"take":[89],"decisions":[90],"priori,":[92],"based":[93],"on":[94],"knowledge":[96],"he":[97],"may":[98],"get":[99],"about":[100],"future":[102],"behavior":[103],"system.":[106],"order":[108],"accomplish":[110],"this,":[111],"consider":[113],"Interactive":[114,133],"(IGSMPs).":[118],"We":[119],"start":[120],"formalizing":[122],"class":[124,131],"well-named":[126,158],"IGSMP":[127,159],"models":[128,160,184],"and":[129,147,185,199],"Stochastic":[134],"Timed":[135],"Transition":[136],"Systems":[137],"(ISTTSs)":[138],"which":[139,156],"both":[141,195],"closed":[142],"under":[143],"CSP":[144,196],"parallel":[145,197],"composition":[146,198],"hiding.":[148,200],"Then,":[149],"introduce":[151],"semantics":[153],"for":[154],"IGSMPs":[155,176],"maps":[157],"onto":[161],"ISTTSs":[162],"delays.":[168],"Finally,":[169],"show":[171],"that":[172,186],"two":[173,180],"weakly":[174,181],"bisimilar":[175,182],"give":[177],"rise":[178],"semantic":[183,188],"our":[187],"mapping":[189],"is":[190],"compositional":[191],"respect":[193]},"counts_by_year":[],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}