{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.006015151,0.0009092557,0.001618678,0.0029241,0.003696901,0.006281464,0.002419276,0.00220852,0.007045334],"category_scores_gemma":[0.02578058,0.001118288,0.002492022,0.002275743,0.008795652,0.01195876,0.005676593,0.007188178,0.0007462683],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002954093,"about_ca_system_score_gemma":0.002139147,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002499958,"about_ca_topic_score_gemma":0.001897013,"domain_scores_codex":[0.9916416,0.002554754,0.0006885197,0.001583733,0.002441716,0.001089774],"domain_scores_gemma":[0.9724776,0.01940642,0.001207158,0.003425869,0.002228999,0.001254029],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.00002414323,0.00001387079,0.0001120375,0.00002422834,0.000007074565,0.00004486936,0.0001661816,0.00112493,0.0001553042,0.9958094,0.0002224643,0.002295462],"study_design_scores_gemma":[0.000008147204,0.000007952422,0.00004088607,0.000008940431,0.000008218149,0.00005173577,0.00002289805,0.007320318,0.0002420289,0.991447,0.0008323439,0.00000964805],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.09837066,0.001825231,0.8386015,0.002983398,0.0004006556,0.0001153261,0.0004090401,0.0006825486,0.05661165],"genre_scores_gemma":[0.9131007,0.0008370875,0.07573026,0.0005329892,0.0005519935,0.0002661815,0.0003874008,0.0002163038,0.008377073],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.007045334,"threshold_uncertainty_score":0.03181154,"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."}}