{"id":"https://openalex.org/W2122967890","doi":"https://doi.org/10.1007/s00165-012-0238-3","title":"Characterisations of testing preorders for a finite probabilistic <i>\u03c0</i> -calculus","display_name":"Characterisations of testing preorders for a finite probabilistic <i>\u03c0</i> -calculus","publication_year":2012,"publication_date":"2012-06-28","ids":{"openalex":"https://openalex.org/W2122967890","doi":"https://doi.org/10.1007/s00165-012-0238-3","mag":"2122967890"},"language":"en","primary_location":{"id":"doi:10.1007/s00165-012-0238-3","is_oa":false,"landing_page_url":"https://doi.org/10.1007/s00165-012-0238-3","pdf_url":null,"source":{"id":"https://openalex.org/S128250343","display_name":"Formal Aspects of Computing","issn_l":"0934-5043","issn":["0934-5043","1433-299X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Formal Aspects of Computing","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/A5022036342","display_name":"Yuxin Deng","orcid":"https://orcid.org/0000-0003-0753-418X"},"institutions":[{"id":"https://openalex.org/I183067930","display_name":"Shanghai Jiao Tong University","ror":"https://ror.org/0220qvk04","country_code":"CN","type":"education","lineage":["https://openalex.org/I183067930"]},{"id":"https://openalex.org/I19820366","display_name":"Chinese Academy of Sciences","ror":"https://ror.org/034t30j35","country_code":"CN","type":"funder","lineage":["https://openalex.org/I19820366"]},{"id":"https://openalex.org/I4391767820","display_name":"State Key Laboratory of Computer Science","ror":"https://ror.org/01hsx4r68","country_code":null,"type":"facility","lineage":["https://openalex.org/I19820366","https://openalex.org/I4210128818","https://openalex.org/I4391767820"]},{"id":"https://openalex.org/I4210128818","display_name":"Institute of Software","ror":"https://ror.org/033dfsn42","country_code":"CN","type":"facility","lineage":["https://openalex.org/I19820366","https://openalex.org/I4210128818"]}],"countries":["CN"],"is_corresponding":true,"raw_author_name":"Yuxin Deng","raw_affiliation_strings":["Department of Computer Science and Engineering, Shanghai Jiao Tong University, Shanghai, China","State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences, Beijing, China","Shanghai Jiao Tong University, Department of Computer Science and Engineering, Shanghai, China and Institute of Software, Chinese Academy of Sciences, State Key Laboratory of Computer Science, Bei ...#TAB#"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science and Engineering, Shanghai Jiao Tong University, Shanghai, China","institution_ids":["https://openalex.org/I183067930"]},{"raw_affiliation_string":"State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences, Beijing, China","institution_ids":["https://openalex.org/I4210128818","https://openalex.org/I19820366"]},{"raw_affiliation_string":"Shanghai Jiao Tong University, Department of Computer Science and Engineering, Shanghai, China and Institute of Software, Chinese Academy of Sciences, State Key Laboratory of Computer Science, Bei ...#TAB#","institution_ids":["https://openalex.org/I19820366","https://openalex.org/I4391767820"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5071064651","display_name":"Alwen Tiu","orcid":"https://orcid.org/0000-0002-2695-5636"},"institutions":[{"id":"https://openalex.org/I118347636","display_name":"Australian National University","ror":"https://ror.org/019wvm592","country_code":"AU","type":"education","lineage":["https://openalex.org/I118347636"]}],"countries":["AU"],"is_corresponding":false,"raw_author_name":"Alwen Tiu","raw_affiliation_strings":["Research School of Computer Science, The Australian National University, Canberra, Australia"],"affiliations":[{"raw_affiliation_string":"Research School of Computer Science, The Australian National University, Canberra, Australia","institution_ids":["https://openalex.org/I118347636"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5022036342"],"corresponding_institution_ids":["https://openalex.org/I183067930","https://openalex.org/I19820366","https://openalex.org/I4210128818","https://openalex.org/I4391767820"],"apc_list":null,"apc_paid":null,"fwci":0.4281,"has_fulltext":false,"cited_by_count":2,"citation_normalized_percentile":{"value":0.73121395,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":"24","issue":"4-6","first_page":"701","last_page":"726"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9995999932289124,"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"}},"topics":[{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9995999932289124,"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.9987999796867371,"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/T10142","display_name":"Formal Methods in Verification","score":0.9952999949455261,"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/probabilistic-logic","display_name":"Probabilistic logic","score":0.815822422504425},{"id":"https://openalex.org/keywords/equivalence","display_name":"Equivalence (formal languages)","score":0.6002025604248047},{"id":"https://openalex.org/keywords/calculus","display_name":"Calculus (dental)","score":0.5474543571472168},{"id":"https://openalex.org/keywords/probabilistic-argumentation","display_name":"Probabilistic argumentation","score":0.5443839430809021},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.4972896873950958},{"id":"https://openalex.org/keywords/theory-of-computation","display_name":"Theory of computation","score":0.47481095790863037},{"id":"https://openalex.org/keywords/process-calculus","display_name":"Process calculus","score":0.46208712458610535},{"id":"https://openalex.org/keywords/algebra-over-a-field","display_name":"Algebra over a field","score":0.42384225130081177},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.3180605471134186},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.287214994430542},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.24231192469596863},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.21395546197891235},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.18280702829360962}],"concepts":[{"id":"https://openalex.org/C49937458","wikidata":"https://www.wikidata.org/wiki/Q2599292","display_name":"Probabilistic logic","level":2,"score":0.815822422504425},{"id":"https://openalex.org/C2780069185","wikidata":"https://www.wikidata.org/wiki/Q7977945","display_name":"Equivalence (formal languages)","level":2,"score":0.6002025604248047},{"id":"https://openalex.org/C2777686260","wikidata":"https://www.wikidata.org/wiki/Q144037","display_name":"Calculus (dental)","level":2,"score":0.5474543571472168},{"id":"https://openalex.org/C128828806","wikidata":"https://www.wikidata.org/wiki/Q7246848","display_name":"Probabilistic argumentation","level":3,"score":0.5443839430809021},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.4972896873950958},{"id":"https://openalex.org/C24858836","wikidata":"https://www.wikidata.org/wiki/Q844718","display_name":"Theory of computation","level":2,"score":0.47481095790863037},{"id":"https://openalex.org/C161771561","wikidata":"https://www.wikidata.org/wiki/Q1970286","display_name":"Process calculus","level":2,"score":0.46208712458610535},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.42384225130081177},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.3180605471134186},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.287214994430542},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.24231192469596863},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.21395546197891235},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.18280702829360962},{"id":"https://openalex.org/C71924100","wikidata":"https://www.wikidata.org/wiki/Q11190","display_name":"Medicine","level":0,"score":0.0},{"id":"https://openalex.org/C199343813","wikidata":"https://www.wikidata.org/wiki/Q12128","display_name":"Dentistry","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":2,"locations":[{"id":"doi:10.1007/s00165-012-0238-3","is_oa":false,"landing_page_url":"https://doi.org/10.1007/s00165-012-0238-3","pdf_url":null,"source":{"id":"https://openalex.org/S128250343","display_name":"Formal Aspects of Computing","issn_l":"0934-5043","issn":["0934-5043","1433-299X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Formal Aspects of Computing","raw_type":"journal-article"},{"id":"pmh:oai:openresearch-repository.anu.edu.au:1885/65851","is_oa":false,"landing_page_url":"https://openresearch-repository.anu.edu.au/bitstream/1885/65851/7/01_Deng_Characterisations_of_testing_2012.pdf.jpg","pdf_url":null,"source":{"id":"https://openalex.org/S4306402539","display_name":"ANU Open Research (Australian National University)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I118347636","host_organization_name":"Australian National University","host_organization_lineage":["https://openalex.org/I118347636"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Formal Aspects of Computing","raw_type":"Journal article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":33,"referenced_works":["https://openalex.org/W304220975","https://openalex.org/W1491937294","https://openalex.org/W1505927408","https://openalex.org/W1533361503","https://openalex.org/W1561927156","https://openalex.org/W1573047523","https://openalex.org/W1793726001","https://openalex.org/W1805999688","https://openalex.org/W1935088456","https://openalex.org/W1985161650","https://openalex.org/W1988856107","https://openalex.org/W2008838944","https://openalex.org/W2011180881","https://openalex.org/W2012095234","https://openalex.org/W2013672985","https://openalex.org/W2033051110","https://openalex.org/W2036925387","https://openalex.org/W2039139411","https://openalex.org/W2097255270","https://openalex.org/W2102998325","https://openalex.org/W2106102830","https://openalex.org/W2111829945","https://openalex.org/W2128932399","https://openalex.org/W2128995870","https://openalex.org/W2130773382","https://openalex.org/W2135657750","https://openalex.org/W2136920408","https://openalex.org/W2153717963","https://openalex.org/W2157144873","https://openalex.org/W2163369706","https://openalex.org/W2599978747","https://openalex.org/W3105798384","https://openalex.org/W3144368627"],"related_works":["https://openalex.org/W4294533825","https://openalex.org/W2995415950","https://openalex.org/W4362598739","https://openalex.org/W4378221898","https://openalex.org/W3206245021","https://openalex.org/W2404949192","https://openalex.org/W2225666389","https://openalex.org/W2371210594","https://openalex.org/W2728210909","https://openalex.org/W4301864728"],"abstract_inverted_index":{"Abstract":[0],"We":[1,47,95],"consider":[2],"two":[3],"characterisations":[4,130],"of":[5,16,25,36,39,51,78,90,118,134,138,145,173,185],"the":[6,17,30,44,65,81,92,102,109,116,122,132,143,161,171,174,183],"may":[7],"and":[8,29,142,166],"must":[9],"testing":[10,103,158],"preorders":[11],"for":[12,43,60,80,149,160],"a":[13,33,37,135,139,146,150,178,186],"probabilistic":[14,26,34,61,82,140],"extension":[15,35],"finite":[18],"\u03c0":[19,45,83,162,175],"-calculus:":[20],"one":[21,105],"based":[22],"on":[23,32,53,157],"notions":[24,50],"weak":[27],"simulations,":[28],"other":[31,70],"fragment":[38],"Milner\u2013Parrow\u2013Walker":[40],"modal":[41],"logic":[42],"-calculus.":[46],"base":[48],"our":[49],"simulations":[52],"similar":[54],"concepts":[55],"used":[56],"in":[57,98,121,128,153],"previous":[58],"work":[59,156],"CSP.":[62],"However,":[63],"unlike":[64],"case":[66],"with":[67,177],"CSP":[68],"(or":[69],"non-value-passing":[71],"calculi),":[72],"there":[73],"are":[74,131],"several":[75],"possible":[76],"definitions":[77],"simulation":[79,111],"-calculus,":[84],"which":[85,182],"arise":[86],"from":[87],"different":[88],"ways":[89],"scoping":[91],"name":[93],"quantification.":[94],"show":[96],"that":[97],"order":[99],"to":[100,107,115],"capture":[101],"preorders,":[104],"needs":[106],"use":[108],"\u201cearliest\u201d":[110],"relation":[112],"(in":[113],"analogy":[114],"notion":[117,133,144],"early":[119],"(bi)simulation":[120],"non-probabilistic":[123],"case).":[124],"The":[125],"key":[126],"ideas":[127],"both":[129],"\u201ccharacteristic":[136,147],"formula\u201d":[137],"process,":[141],"test\u201d":[148],"formula.":[151],"As":[152],"an":[154],"earlier":[155],"equivalence":[159],"-calculus":[163,176],"by":[164],"Boreale":[165],"De":[167],"Nicola,":[168],"we":[169],"extend":[170],"language":[172],"mismatch":[179],"operator,":[180],"without":[181],"formulation":[184],"characteristic":[187],"test":[188],"will":[189],"not":[190],"be":[191],"possible.":[192]},"counts_by_year":[{"year":2017,"cited_by_count":1},{"year":2014,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2016-06-24T00:00:00"}