{"id":"W4285206815","doi":"10.1007/978-3-662-64821-6_6","title":"Concurrency Paradigms","year":2022,"lang":"en","type":"book-chapter","venue":"Studies in computational intelligence","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":false,"ca_institutions":"McMaster University","funders":"","keywords":"Concurrency; Computer science; Concurrent computing; Key (lock); Concurrent object-oriented programming; Programming language; Concurrency control; Isolation (microbiology); Distributed computing; Theoretical computer science; Computer security; Programming paradigm; Database transaction","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.001021743,0.0008102823,0.0005185162,0.001178396,0.00196141,0.005698746,0.001394666,0.001338739,0.02241924],"category_scores_gemma":[0.002806171,0.0006405248,0.0005037642,0.001089625,0.006279726,0.007087806,0.001898618,0.004481751,0.006717073],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002333815,"about_ca_system_score_gemma":0.0018406,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002354208,"about_ca_topic_score_gemma":0.003004544,"domain_scores_codex":[0.9990096,0.0002799871,0.00004226822,0.000207231,0.0003704494,0.00009041209],"domain_scores_gemma":[0.998941,0.0004887233,0.00004956636,0.0002750602,0.0001462781,0.00009942419],"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.000002499482,0.000003795589,0.000008851702,0.00001244173,8.201533e-7,0.000005875187,0.0001232395,0.00005915997,0.00005996468,0.9915146,0.003916617,0.00429213],"study_design_scores_gemma":[0.000004842441,0.000005258155,0.0000261315,0.00003819479,0.000002449235,0.00005464012,0.00007182021,0.0004043942,0.0001411353,0.7932476,0.2059993,0.000004108919],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"other","genre_gemma":"other","genre_scores_codex":[0.001599008,0.009328432,0.09034767,0.004005243,0.001174866,0.00007511818,0.0001023941,0.0003053139,0.8930619],"genre_scores_gemma":[0.2165033,0.01577867,0.08653724,0.005302197,0.002356227,0.0005879041,0.0004792509,0.0006738885,0.6717814],"genre_candidate":"other","genre_consensus":"other","teacher_disagreement_score":0.02241924,"threshold_uncertainty_score":0.07499987,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.2148993535353326,"score_gpt":0.4155681554491654,"score_spread":0.2006688019138328,"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."}}