{"id":"https://openalex.org/W2029839940","doi":"https://doi.org/10.1145/2537948","title":"Approximating Markov Processes by Averaging","display_name":"Approximating Markov Processes by Averaging","publication_year":2014,"publication_date":"2014-01-01","ids":{"openalex":"https://openalex.org/W2029839940","doi":"https://doi.org/10.1145/2537948","mag":"2029839940"},"language":"en","primary_location":{"id":"doi:10.1145/2537948","is_oa":true,"landing_page_url":"https://doi.org/10.1145/2537948","pdf_url":"https://dl.acm.org/action/downloadSupplement?doi=10.1145%2F2537948&file=jacm_appendix.pdf","source":{"id":"https://openalex.org/S118992489","display_name":"Journal of the ACM","issn_l":"0004-5411","issn":["0004-5411","1557-735X"],"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":"Journal of the ACM","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"bronze","oa_url":"https://dl.acm.org/action/downloadSupplement?doi=10.1145%2F2537948&file=jacm_appendix.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5041838338","display_name":"Philippe Chaput","orcid":null},"institutions":[{"id":"https://openalex.org/I5023651","display_name":"McGill University","ror":"https://ror.org/01pxwe438","country_code":"CA","type":"education","lineage":["https://openalex.org/I5023651"]}],"countries":["CA"],"is_corresponding":true,"raw_author_name":"Philippe Chaput","raw_affiliation_strings":["McGill University"],"affiliations":[{"raw_affiliation_string":"McGill University","institution_ids":["https://openalex.org/I5023651"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5111482850","display_name":"Vincent Danos","orcid":null},"institutions":[{"id":"https://openalex.org/I98677209","display_name":"University of Edinburgh","ror":"https://ror.org/01nrxwf90","country_code":"GB","type":"education","lineage":["https://openalex.org/I98677209"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Vincent Danos","raw_affiliation_strings":["University of Edinburgh"],"affiliations":[{"raw_affiliation_string":"University of Edinburgh","institution_ids":["https://openalex.org/I98677209"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5068822568","display_name":"Prakash Panangaden","orcid":"https://orcid.org/0000-0001-8763-6172"},"institutions":[{"id":"https://openalex.org/I5023651","display_name":"McGill University","ror":"https://ror.org/01pxwe438","country_code":"CA","type":"education","lineage":["https://openalex.org/I5023651"]}],"countries":["CA"],"is_corresponding":false,"raw_author_name":"Prakash Panangaden","raw_affiliation_strings":["McGill University"],"affiliations":[{"raw_affiliation_string":"McGill University","institution_ids":["https://openalex.org/I5023651"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5070609290","display_name":"Gordon Plotkin","orcid":"https://orcid.org/0000-0001-8496-6096"},"institutions":[{"id":"https://openalex.org/I98677209","display_name":"University of Edinburgh","ror":"https://ror.org/01nrxwf90","country_code":"GB","type":"education","lineage":["https://openalex.org/I98677209"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Gordon Plotkin","raw_affiliation_strings":["University of Edinburgh"],"affiliations":[{"raw_affiliation_string":"University of Edinburgh","institution_ids":["https://openalex.org/I98677209"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5041838338"],"corresponding_institution_ids":["https://openalex.org/I5023651"],"apc_list":null,"apc_paid":null,"fwci":7.4777,"has_fulltext":true,"cited_by_count":32,"citation_normalized_percentile":{"value":0.9766179,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":99},"biblio":{"volume":"61","issue":"1","first_page":"1","last_page":"45"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9991999864578247,"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.9991999864578247,"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/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9848999977111816,"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/T10126","display_name":"Logic, programming, and type systems","score":0.9825999736785889,"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/bisimulation","display_name":"Bisimulation","score":0.7732237577438354},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.6413813233375549},{"id":"https://openalex.org/keywords/probabilistic-logic","display_name":"Probabilistic logic","score":0.5782256126403809},{"id":"https://openalex.org/keywords/markov-process","display_name":"Markov process","score":0.5726425051689148},{"id":"https://openalex.org/keywords/probability-measure","display_name":"Probability measure","score":0.5343804359436035},{"id":"https://openalex.org/keywords/bounded-function","display_name":"Bounded function","score":0.5024333000183105},{"id":"https://openalex.org/keywords/equivalence","display_name":"Equivalence (formal languages)","score":0.4969477951526642},{"id":"https://openalex.org/keywords/markov-kernel","display_name":"Markov kernel","score":0.4804129898548126},{"id":"https://openalex.org/keywords/probability-distribution","display_name":"Probability distribution","score":0.4710763990879059},{"id":"https://openalex.org/keywords/markov-chain","display_name":"Markov chain","score":0.4355950653553009},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.42311975359916687},{"id":"https://openalex.org/keywords/applied-mathematics","display_name":"Applied mathematics","score":0.37108078598976135},{"id":"https://openalex.org/keywords/markov-model","display_name":"Markov model","score":0.2504563331604004},{"id":"https://openalex.org/keywords/variable-order-markov-model","display_name":"Variable-order Markov model","score":0.1468350887298584},{"id":"https://openalex.org/keywords/mathematical-analysis","display_name":"Mathematical analysis","score":0.11789387464523315}],"concepts":[{"id":"https://openalex.org/C135315306","wikidata":"https://www.wikidata.org/wiki/Q866364","display_name":"Bisimulation","level":2,"score":0.7732237577438354},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.6413813233375549},{"id":"https://openalex.org/C49937458","wikidata":"https://www.wikidata.org/wiki/Q2599292","display_name":"Probabilistic logic","level":2,"score":0.5782256126403809},{"id":"https://openalex.org/C159886148","wikidata":"https://www.wikidata.org/wiki/Q176645","display_name":"Markov process","level":2,"score":0.5726425051689148},{"id":"https://openalex.org/C21031990","wikidata":"https://www.wikidata.org/wiki/Q355020","display_name":"Probability measure","level":2,"score":0.5343804359436035},{"id":"https://openalex.org/C34388435","wikidata":"https://www.wikidata.org/wiki/Q2267362","display_name":"Bounded function","level":2,"score":0.5024333000183105},{"id":"https://openalex.org/C2780069185","wikidata":"https://www.wikidata.org/wiki/Q7977945","display_name":"Equivalence (formal languages)","level":2,"score":0.4969477951526642},{"id":"https://openalex.org/C106666656","wikidata":"https://www.wikidata.org/wiki/Q6771323","display_name":"Markov kernel","level":5,"score":0.4804129898548126},{"id":"https://openalex.org/C149441793","wikidata":"https://www.wikidata.org/wiki/Q200726","display_name":"Probability distribution","level":2,"score":0.4710763990879059},{"id":"https://openalex.org/C98763669","wikidata":"https://www.wikidata.org/wiki/Q176645","display_name":"Markov chain","level":2,"score":0.4355950653553009},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.42311975359916687},{"id":"https://openalex.org/C28826006","wikidata":"https://www.wikidata.org/wiki/Q33521","display_name":"Applied mathematics","level":1,"score":0.37108078598976135},{"id":"https://openalex.org/C163836022","wikidata":"https://www.wikidata.org/wiki/Q6771326","display_name":"Markov model","level":3,"score":0.2504563331604004},{"id":"https://openalex.org/C54907487","wikidata":"https://www.wikidata.org/wiki/Q7915688","display_name":"Variable-order Markov model","level":4,"score":0.1468350887298584},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.11789387464523315},{"id":"https://openalex.org/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1145/2537948","is_oa":true,"landing_page_url":"https://doi.org/10.1145/2537948","pdf_url":"https://dl.acm.org/action/downloadSupplement?doi=10.1145%2F2537948&file=jacm_appendix.pdf","source":{"id":"https://openalex.org/S118992489","display_name":"Journal of the ACM","issn_l":"0004-5411","issn":["0004-5411","1557-735X"],"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":"Journal of the ACM","raw_type":"journal-article"},{"id":"pmh:oai:pure.ed.ac.uk:openaire/42d33387-9c3c-496b-b537-c4ccabc1d734","is_oa":true,"landing_page_url":"https://www.research.ed.ac.uk/en/publications/42d33387-9c3c-496b-b537-c4ccabc1d734","pdf_url":null,"source":{"id":"https://openalex.org/S4406922455","display_name":"Edinburgh Research Explorer","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Chaput, P, Danos, V, Panangaden, P & Plotkin, G 2014, 'Approximating Markov Processes by Averaging', Journal of the ACM, vol. 61, no. 1, 5. https://doi.org/10.1145/2537948","raw_type":"info:eu-repo/semantics/publishedVersion"},{"id":"pmh:oai:pure.ed.ac.uk:publications/42d33387-9c3c-496b-b537-c4ccabc1d734","is_oa":true,"landing_page_url":"http://hdl.handle.net/20.500.11820/42d33387-9c3c-496b-b537-c4ccabc1d734","pdf_url":null,"source":{"id":"https://openalex.org/S4306400321","display_name":"Edinburgh Research Explorer (University of Edinburgh)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I98677209","host_organization_name":"University of Edinburgh","host_organization_lineage":["https://openalex.org/I98677209"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Chaput, P, Danos, V, Panangaden, P & Plotkin, G 2014, 'Approximating Markov Processes by Averaging', Journal of the ACM, vol. 61, no. 1, 5. https://doi.org/10.1145/2537948","raw_type":"info:eu-repo/semantics/publishedVersion"}],"best_oa_location":{"id":"doi:10.1145/2537948","is_oa":true,"landing_page_url":"https://doi.org/10.1145/2537948","pdf_url":"https://dl.acm.org/action/downloadSupplement?doi=10.1145%2F2537948&file=jacm_appendix.pdf","source":{"id":"https://openalex.org/S118992489","display_name":"Journal of the ACM","issn_l":"0004-5411","issn":["0004-5411","1557-735X"],"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":"Journal of the ACM","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[],"funders":[{"id":"https://openalex.org/F4320334593","display_name":"Natural Sciences and Engineering Research Council of Canada","ror":"https://ror.org/01h531d29"},{"id":"https://openalex.org/F4320337345","display_name":"Office of Naval Research","ror":"https://ror.org/00rk2pe57"}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2029839940.pdf","grobid_xml":"https://content.openalex.org/works/W2029839940.grobid-xml"},"referenced_works_count":71,"referenced_works":["https://openalex.org/W58260654","https://openalex.org/W75971611","https://openalex.org/W125598877","https://openalex.org/W342302233","https://openalex.org/W572331601","https://openalex.org/W1498432697","https://openalex.org/W1508750282","https://openalex.org/W1521302685","https://openalex.org/W1540519426","https://openalex.org/W1545300203","https://openalex.org/W1547644141","https://openalex.org/W1566287143","https://openalex.org/W1568784934","https://openalex.org/W1571174323","https://openalex.org/W1594563152","https://openalex.org/W1602844557","https://openalex.org/W1606156286","https://openalex.org/W1674596735","https://openalex.org/W1698217787","https://openalex.org/W1835855307","https://openalex.org/W1847758040","https://openalex.org/W1852424686","https://openalex.org/W1865728679","https://openalex.org/W1907364945","https://openalex.org/W1949868634","https://openalex.org/W1970862307","https://openalex.org/W1976268573","https://openalex.org/W1978469611","https://openalex.org/W1981607181","https://openalex.org/W1999626800","https://openalex.org/W2000108089","https://openalex.org/W2005042687","https://openalex.org/W2015172530","https://openalex.org/W2041243111","https://openalex.org/W2044260813","https://openalex.org/W2056099894","https://openalex.org/W2078103992","https://openalex.org/W2100893927","https://openalex.org/W2105441172","https://openalex.org/W2108670836","https://openalex.org/W2123876422","https://openalex.org/W2125781122","https://openalex.org/W2141541459","https://openalex.org/W2148690473","https://openalex.org/W2151637592","https://openalex.org/W2152610855","https://openalex.org/W2152692559","https://openalex.org/W2165161585","https://openalex.org/W2311888739","https://openalex.org/W2316686607","https://openalex.org/W2320882105","https://openalex.org/W2481213860","https://openalex.org/W2765095451","https://openalex.org/W2798673262","https://openalex.org/W2912843816","https://openalex.org/W3150304496","https://openalex.org/W4206180205","https://openalex.org/W4230058301","https://openalex.org/W4237056971","https://openalex.org/W4285719527","https://openalex.org/W4298443330","https://openalex.org/W6611509941","https://openalex.org/W6616273845","https://openalex.org/W6632649703","https://openalex.org/W6635991797","https://openalex.org/W6643049698","https://openalex.org/W6675630214","https://openalex.org/W6699247824","https://openalex.org/W6837318673","https://openalex.org/W7042775058","https://openalex.org/W7052102089"],"related_works":["https://openalex.org/W2414667732","https://openalex.org/W2183396261","https://openalex.org/W2340232283","https://openalex.org/W1600097617","https://openalex.org/W130813085","https://openalex.org/W4300998569","https://openalex.org/W2317603910","https://openalex.org/W4233290694","https://openalex.org/W2358249721","https://openalex.org/W2188698441"],"abstract_inverted_index":{"Normally,":[0],"one":[1],"thinks":[2],"of":[3,34,39,62,69,109,138,168],"probabilistic":[4],"transition":[5,63],"systems":[6],"as":[7,37,51,165],"taking":[8],"an":[9,103],"initial":[10],"probability":[11,20],"distribution":[12,21],"over":[13],"the":[14,23,48,59,67,136,166,169],"state":[15],"space":[16],"into":[17],"a":[18,26,31,52,151,156],"new":[19,119],"representing":[22],"system":[24],"after":[25],"transition.":[27],"We,":[28],"however,":[29],"take":[30],"dual":[32,57],"view":[33,61],"Markov":[35,71],"processes":[36,72],"transformers":[38],"bounded":[40],"measurable":[41],"functions.":[42],"This":[43,131],"is":[44,56,89,102,150,163],"very":[45],"much":[46],"in":[47,76],"same":[49],"spirit":[50],"\u201cpredicate-transformer\u201d":[53],"view,":[54],"which":[55],"to":[58,91,123,142,155],"state-transformer":[60],"systems.":[64],"We":[65,82,146],"redevelop":[66],"theory":[68],"labelled":[70],"from":[73],"this":[74,160],"viewpoint;":[75],"particular,":[77],"we":[78],"explore":[79],"approximation":[80,124],"theory.":[81],"obtain":[83],"three":[84],"main":[85],"results.":[86],"(i)":[87],"It":[88],"possible":[90],"define":[92],"bisimulation":[93,110],"on":[94,126],"general":[95],"measure":[96],"spaces":[97],"and":[98,115,120,134,159],"show":[99,147],"that":[100,148],"it":[101],"equivalence":[104],"relation.":[105],"The":[106],"logical":[107],"characterization":[108],"can":[111,128],"be":[112,129],"done":[113],"straightforwardly":[114],"generally.":[116],"(ii)":[117],"A":[118],"flexible":[121],"approach":[122],"based":[125],"averaging":[127],"given.":[130],"vastly":[132],"generalizes":[133],"streamlines":[135],"idea":[137],"using":[139],"conditional":[140],"expectations":[141],"compute":[143],"approximations.":[144],"(iii)":[145],"there":[149],"minimal":[152,161],"process":[153,162],"bisimulation-equivalent":[154],"given":[157],"process,":[158],"obtained":[164],"limit":[167],"finite":[170],"approximants.":[171]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2023,"cited_by_count":1},{"year":2020,"cited_by_count":2},{"year":2019,"cited_by_count":4},{"year":2018,"cited_by_count":2},{"year":2017,"cited_by_count":6},{"year":2016,"cited_by_count":1},{"year":2015,"cited_by_count":9},{"year":2014,"cited_by_count":5},{"year":2012,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}