{"id":"W2078103992","doi":"10.1016/j.ic.2005.02.004","title":"Bisimulation and cocongruence for probabilistic systems","year":2006,"lang":"en","type":"article","venue":"Information and Computation","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":85,"is_retracted":false,"has_abstract":false,"ca_institutions":"McGill University; Université Laval","funders":"Natural Sciences and Engineering Research Council of Canada; Engineering and Physical Sciences Research Council; University of Oxford","keywords":"Bisimulation; Mathematics; Equivalence (formal languages); Probabilistic logic; Event (particle physics); Characterization (materials science); Algebra over a field; Discrete mathematics; Pure mathematics","routes":{"ca_aff":true,"ca_fund":true,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":false},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0001692594,0.0000659639,0.00007265854,0.00007696254,0.000135276,0.0003932124,0.00006156777,0.00003645767,2.864462e-7],"category_scores_gemma":[0.00003462072,0.00005888106,0.00001172818,0.0001065602,0.00002199009,0.001341653,0.00002549327,0.00002364364,0.000006510223],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0000195482,"about_ca_system_score_gemma":0.00002290425,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00004988892,"about_ca_topic_score_gemma":0.000005395944,"domain_scores_codex":[0.9994952,0.00001647083,0.0002186261,0.000092305,0.00008847986,0.00008891675],"domain_scores_gemma":[0.9995166,0.00009822965,0.0001186773,0.00005875491,0.0001786141,0.00002912405],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.000008526627,0.00001751826,0.001244718,0.0001934793,0.000004269669,1.756329e-7,0.001147943,0.05738368,0.00001863512,0.8323973,0.0006284427,0.1069553],"study_design_scores_gemma":[0.0003899894,0.00004673967,0.0117451,0.00001325639,0.000002961695,0.000009066227,0.0000355283,0.9671335,0.00001106417,0.01716943,0.003362321,0.0000810424],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.05040921,0.00009642971,0.946988,0.0001058294,0.0001853171,0.0003995154,0.000002083588,0.0001011746,0.001712413],"genre_scores_gemma":[0.9938852,0.000003689423,0.005914967,0.00005634359,0.00003489008,0.00003139531,0.00003667258,0.000001626052,0.0000352568],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.943476,"threshold_uncertainty_score":0.3791756,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01105095026478895,"score_gpt":0.2372247477449823,"score_spread":0.2261737974801933,"validation_status":"score_only:v0-immature-baseline","note":"Baseline scores from an immature model (maturity gate not passed). Scores rank; they never assert a category."}}