{"id":"W1573072008","doi":"10.1007/978-3-540-68746-7_18","title":"Modelling Concurrency with Quotient Monoids","year":2008,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"semigroups and automata theory","field":"Computer Science","cited_by":9,"is_retracted":false,"has_abstract":false,"ca_institutions":"McMaster University","funders":"","keywords":"Quotient; Concurrency; Computer science; Algebra over a field; Programming language; Mathematics; Combinatorics; Pure mathematics","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.001907241,0.0008231308,0.0008177415,0.0007978092,0.0007779555,0.003169389,0.001614368,0.000836698,0.005450761],"category_scores_gemma":[0.00456445,0.0008909251,0.001466602,0.000728098,0.003458156,0.007358737,0.003023317,0.001929168,0.0008751925],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001133207,"about_ca_system_score_gemma":0.0008426833,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001684004,"about_ca_topic_score_gemma":0.001495841,"domain_scores_codex":[0.9985682,0.0005763793,0.0001346088,0.0002242219,0.000342896,0.0001535915],"domain_scores_gemma":[0.997741,0.001331483,0.0001251447,0.0004622755,0.0001986941,0.0001414105],"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.00005822617,0.00002459129,0.0002409206,0.00008342064,0.00001481416,0.0001702734,0.0007053933,0.01640017,0.002915183,0.9662331,0.0005109756,0.01264301],"study_design_scores_gemma":[0.00002704355,0.0000302974,0.00006545118,0.00003797826,0.000023582,0.0001301091,0.0001164337,0.0780909,0.002561021,0.9067364,0.01215855,0.00002214264],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.03803341,0.001013115,0.9347005,0.0003019886,0.0001694184,0.00009547641,0.0001061596,0.0008793728,0.02470045],"genre_scores_gemma":[0.7492374,0.001108792,0.2314952,0.00009750075,0.0001757685,0.0002409377,0.0002668806,0.0003638002,0.01701369],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.005450761,"threshold_uncertainty_score":0.01823461,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.0185386621744258,"score_gpt":0.2175353934230081,"score_spread":0.1989967312485823,"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."}}