{"id":"W4404582541","doi":"10.1007/978-3-031-77019-7_7","title":"On Concurrent Program Algebra and Demonic Automata","year":2024,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"semigroups and automata theory","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":false,"ca_institutions":"McMaster University","funders":"","keywords":"Computer science; Automaton; Programming language; Algebra over a field; Theoretical computer science; Mathematics; 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.0009535867,0.001033829,0.000834969,0.001512692,0.00181181,0.002794778,0.001217642,0.001056499,0.009763395],"category_scores_gemma":[0.002312264,0.0007501742,0.00129493,0.002852386,0.004175075,0.008104099,0.001640644,0.003510629,0.001992338],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002288301,"about_ca_system_score_gemma":0.0009320812,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002310997,"about_ca_topic_score_gemma":0.00197963,"domain_scores_codex":[0.9992898,0.0002263958,0.00005098758,0.0001404481,0.0002148298,0.00007766135],"domain_scores_gemma":[0.9990808,0.0005395985,0.00004766063,0.0001497817,0.0001394307,0.00004268821],"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.000005037339,0.000005390568,0.00001860398,0.00002704476,0.000002308764,0.00001771801,0.00008989766,0.0004708372,0.0001771554,0.9927893,0.001057745,0.005338888],"study_design_scores_gemma":[0.000001986521,0.000003167324,0.00001981964,0.00001006922,0.00000232669,0.00002797926,0.00001449066,0.0009321183,0.0001150002,0.9888824,0.009986932,0.000003720314],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.01746503,0.02233016,0.5796077,0.004177305,0.002689764,0.00010859,0.0003004985,0.0005625091,0.3727584],"genre_scores_gemma":[0.6064393,0.02127225,0.1756885,0.002611623,0.005038857,0.0004833606,0.0008124202,0.0004946939,0.187159],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.009763395,"threshold_uncertainty_score":0.0326618,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01229181571018505,"score_gpt":0.257131009493719,"score_spread":0.2448391937835339,"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."}}