乐胖代购免代理版

{"id":"https://openalex.org/W2033579796","doi":"https://doi.org/10.1093/logcom/exr045","title":"(Hybrid) automata and (stochastic) programs * The hybrid automata lattice of a stochastic program","display_name":"(Hybrid) automata and (stochastic) programs * The hybrid automata lattice of a stochastic program","publication_year":2011,"publication_date":"2011-12-06","ids":{"openalex":"https://openalex.org/W2033579796","doi":"https://doi.org/10.1093/logcom/exr045","mag":"2033579796"},"language":"en","primary_location":{"is_oa":false,"landing_page_url":"https://doi.org/10.1093/logcom/exr045","pdf_url":null,"source":{"id":"https://openalex.org/S47057106","display_name":"Journal of Logic and Computation","issn_l":"0955-792X","issn":["0955-792X","1465-363X"],"is_oa":false,"is_in_doaj":false,"is_indexed_in_scopus":true,"is_core":true,"host_organization":"https://openalex.org/P4310311648","host_organization_name":"Oxford University Press","host_organization_lineage":["https://openalex.org/P4310311647","https://openalex.org/P4310311648"],"host_organization_lineage_names":["University of Oxford","Oxford University Press"],"type":"journal"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false},"type":"article","type_crossref":"journal-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/A5060744592","display_name":"Luca Bortolussi","orcid":"https://orcid.org/0000-0001-8874-4001"},"institutions":[{"id":"https://openalex.org/I142444530","display_name":"University of Trieste","ror":"https://ror.org/02n742c10","country_code":"IT","type":"funder","lineage":["https://openalex.org/I142444530"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"L. Bortolussi","raw_affiliation_strings":["Department of Mathematics and Computer Science University of Trieste, via A. Valerio 12/2, 34127, Trieste, Italy.E-mail:"],"affiliations":[{"raw_affiliation_string":"Department of Mathematics and Computer Science University of Trieste, via A. Valerio 12/2, 34127, Trieste, Italy.E-mail:","institution_ids":["https://openalex.org/I142444530"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5042115100","display_name":"Alberto Policriti","orcid":"https://orcid.org/0000-0001-8502-5896"},"institutions":[{"id":"https://openalex.org/I129043915","display_name":"University of Udine","ror":"https://ror.org/05ht0mh31","country_code":"IT","type":"funder","lineage":["https://openalex.org/I129043915"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"A. Policriti","raw_affiliation_strings":["Department of Mathematics and Computer Science, University of Udine, via delle Scienze 206, 33100 Udine, Italy. E-mail:"],"affiliations":[{"raw_affiliation_string":"Department of Mathematics and Computer Science, University of Udine, via delle Scienze 206, 33100 Udine, Italy. E-mail:","institution_ids":["https://openalex.org/I129043915"]}]}],"institution_assertions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":{"value":4151,"currency":"USD","value_usd":4151},"apc_paid":null,"fwci":3.597,"has_fulltext":false,"cited_by_count":19,"citation_normalized_percentile":{"value":0.67467,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":90},"biblio":{"volume":"23","issue":"4","first_page":"761","last_page":"798"},"is_retracted":false,"is_paratext":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9999,"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.9999,"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.9942,"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"}},{"id":"https://openalex.org/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.9939,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"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/lattice","display_name":"Lattice (music)","score":0.5364889},{"id":"https://openalex.org/keywords/game-semantics","display_name":"Game semantics","score":0.43228805},{"id":"https://openalex.org/keywords/lattice-gas-automaton","display_name":"Lattice gas automaton","score":0.4272735}],"concepts":[{"id":"https://openalex.org/C165464430","wikidata":"https://www.wikidata.org/wiki/Q1570441","display_name":"Parameterized complexity","level":2,"score":0.71938556},{"id":"https://openalex.org/C112505250","wikidata":"https://www.wikidata.org/wiki/Q787116","display_name":"Automaton","level":2,"score":0.63130224},{"id":"https://openalex.org/C2781204021","wikidata":"https://www.wikidata.org/wiki/Q6497091","display_name":"Lattice (music)","level":2,"score":0.5364889},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.49396998},{"id":"https://openalex.org/C164660894","wikidata":"https://www.wikidata.org/wiki/Q2037833","display_name":"Piecewise","level":2,"score":0.48424146},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.47805125},{"id":"https://openalex.org/C9672783","wikidata":"https://www.wikidata.org/wiki/Q65122115","display_name":"Game semantics","level":5,"score":0.43228805},{"id":"https://openalex.org/C156890611","wikidata":"https://www.wikidata.org/wiki/Q3099721","display_name":"Lattice gas automaton","level":4,"score":0.4272735},{"id":"https://openalex.org/C8272713","wikidata":"https://www.wikidata.org/wiki/Q176737","display_name":"Stochastic process","level":2,"score":0.42118955},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.40868902},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.38538915},{"id":"https://openalex.org/C156325763","wikidata":"https://www.wikidata.org/wiki/Q1930895","display_name":"Operational semantics","level":3,"score":0.36792585},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.3304649},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.28420496},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.21347436},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.14862937},{"id":"https://openalex.org/C207648694","wikidata":"https://www.wikidata.org/wiki/Q1189746","display_name":"Denotational semantics","level":4,"score":0.14796564},{"id":"https://openalex.org/C192499940","wikidata":"https://www.wikidata.org/wiki/Q17022326","display_name":"Stochastic cellular automaton","level":3,"score":0.1298821},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C24890656","wikidata":"https://www.wikidata.org/wiki/Q82811","display_name":"Acoustics","level":1,"score":0.0},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"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":1,"locations":[{"is_oa":false,"landing_page_url":"https://doi.org/10.1093/logcom/exr045","pdf_url":null,"source":{"id":"https://openalex.org/S47057106","display_name":"Journal of Logic and Computation","issn_l":"0955-792X","issn":["0955-792X","1465-363X"],"is_oa":false,"is_in_doaj":false,"is_indexed_in_scopus":true,"is_core":true,"host_organization":"https://openalex.org/P4310311648","host_organization_name":"Oxford University Press","host_organization_lineage":["https://openalex.org/P4310311647","https://openalex.org/P4310311648"],"host_organization_lineage_names":["University of Oxford","Oxford University Press"],"type":"journal"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false}],"best_oa_location":null,"sustainable_development_goals":[],"grants":[],"datasets":[],"versions":[],"referenced_works_count":35,"referenced_works":["https://openalex.org/W1514028002","https://openalex.org/W1532504064","https://openalex.org/W1555412307","https://openalex.org/W1616167763","https://openalex.org/W1867777259","https://openalex.org/W1878115606","https://openalex.org/W1978998112","https://openalex.org/W1996920086","https://openalex.org/W2002083262","https://openalex.org/W2014907753","https://openalex.org/W2021089599","https://openalex.org/W2041228127","https://openalex.org/W2050653042","https://openalex.org/W2057210114","https://openalex.org/W2062259223","https://openalex.org/W2067149140","https://openalex.org/W2074401358","https://openalex.org/W2078027626","https://openalex.org/W2097436987","https://openalex.org/W2101508170","https://openalex.org/W2116583079","https://openalex.org/W2120926795","https://openalex.org/W2135249635","https://openalex.org/W2143706916","https://openalex.org/W2147340401","https://openalex.org/W2148626278","https://openalex.org/W2151362395","https://openalex.org/W2155418451","https://openalex.org/W2163590987","https://openalex.org/W2294236252","https://openalex.org/W2500507869","https://openalex.org/W3022401574","https://openalex.org/W309294495","https://openalex.org/W3145242807","https://openalex.org/W4301885396"],"related_works":["https://openalex.org/W4230265084","https://openalex.org/W2585155273","https://openalex.org/W2246105489","https://openalex.org/W2139765668","https://openalex.org/W2126542638","https://openalex.org/W2106383088","https://openalex.org/W2068639451","https://openalex.org/W1576499992","https://openalex.org/W1525015788","https://openalex.org/W1410897881"],"abstract_inverted_index":{"We":[0,44],"define":[1],"a":[2,10,30],"semantics":[3,55],"for":[4],"stochastic":[5,11,17],"Concurrent":[6],"Constraint":[7],"Programming":[8],"(sCCP),":[9],"process":[12],"algebra,":[13],"in":[14,56],"terms":[15],"of":[16,32,41,48,60],"hybrid":[18,33],"automata":[19],"with":[20,36],"piecewise":[21],"deterministic":[22],"continuous":[23],"dynamics.":[24],"To":[25],"each":[26],"program":[27],"we":[28],"associate":[29],"lattice":[31],"models,":[34],"parameterized":[35],"respect":[37],"to":[38],"the":[39,58],"degree":[40,59],"discreteness":[42,61],"left.":[43],"study":[45],"some":[46],"properties":[47],"this":[49],"lattice,":[50],"presenting":[51],"also":[52],"an":[53],"alternative":[54],"which":[57],"can":[62],"be":[63],"dynamically":[64],"changed.":[65]},"abstract_inverted_index_v3":null,"cited_by_api_url":"https://api.openalex.org/works?filter=cites:W2033579796","counts_by_year":[{"year":2016,"cited_by_count":1},{"year":2015,"cited_by_count":4},{"year":2014,"cited_by_count":4},{"year":2013,"cited_by_count":2},{"year":2012,"cited_by_count":7}],"updated_date":"2025-03-22T03:06:01.078294","created_date":"2016-06-24"}