{"id":"W1982912460","doi":"10.1016/s0304-3975(99)00300-x","title":"Algebraic characterizations of trace and decorated trace equivalences over tree-like structures","year":2001,"lang":"en","type":"article","venue":"Theoretical Computer Science","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":14,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Windsor","funders":"","keywords":"Homomorphism; TRACE (psycholinguistics); Bisimulation; Mathematics; Algebraic number; Equivalence (formal languages); Bounded function; Tree (set theory); Transition system; Pure mathematics; Discrete mathematics; Algebra over a field; Combinatorics; Algorithm","routes":{"ca_aff":true,"ca_fund":false,"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.002219093,0.0006512546,0.001015707,0.002743806,0.001802889,0.005689072,0.002188078,0.001942639,0.007152596],"category_scores_gemma":[0.01354615,0.0008586498,0.00170605,0.00266646,0.004824208,0.01399074,0.004733789,0.004596302,0.000641186],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001627819,"about_ca_system_score_gemma":0.001224365,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0009016383,"about_ca_topic_score_gemma":0.0008200794,"domain_scores_codex":[0.9950303,0.0007294817,0.0004570713,0.001025594,0.001976482,0.0007810188],"domain_scores_gemma":[0.9887227,0.005117361,0.001403424,0.00188792,0.002105959,0.000762582],"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.00006651622,0.00005777138,0.000491016,0.0000413349,0.00001263397,0.000140546,0.00049142,0.002117006,0.001544422,0.9877335,0.0003080469,0.006995833],"study_design_scores_gemma":[0.0000204374,0.00004271936,0.0002798889,0.00001948953,0.00002559154,0.0001952364,0.0002233564,0.01427052,0.001953389,0.980538,0.002409581,0.0000218585],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.2454496,0.000290107,0.7128723,0.0009315547,0.0001697131,0.0001802231,0.0005182312,0.001142867,0.0384455],"genre_scores_gemma":[0.9405435,0.0002574316,0.04947802,0.0002577053,0.0002291936,0.0001613242,0.0007087843,0.000375054,0.007988997],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.007152596,"threshold_uncertainty_score":0.02392781,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01835743076514056,"score_gpt":0.2906331165185059,"score_spread":0.2722756857533654,"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."}}