{"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":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.0007679287,0.0003710281,0.0004762302,0.0003748699,0.0002250505,0.00005123909,0.001609585,0.0001143328,0.0002861717],"category_scores_gemma":[0.0002414323,0.0004045386,0.0001316705,0.000236383,0.0004216511,0.0003634899,0.00110549,0.0007168525,0.0002223498],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0005145011,"about_ca_system_score_gemma":0.0001958527,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000005442453,"about_ca_topic_score_gemma":0.000003792637,"domain_scores_codex":[0.9972266,0.0000952916,0.0008206593,0.0008011958,0.0007689695,0.0002872669],"domain_scores_gemma":[0.997761,0.0009181586,0.0004052162,0.0005773176,0.000281964,0.00005630887],"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.000003599908,0.00001693102,0.000005434734,0.00004621363,0.00005628116,0.00003330893,0.0009572202,0.03388403,9.709692e-8,0.9160627,0.0007246477,0.04820958],"study_design_scores_gemma":[0.00004643668,0.0001038534,0.00002134768,0.0001304271,0.000008268344,0.0000395741,0.00006594071,0.05752411,0.00001099727,0.8191668,0.1224543,0.000427999],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.000002004896,0.007824779,0.6879582,0.0002913443,0.003067669,0.0003538338,0.00002212772,0.0001389134,0.3003411],"genre_scores_gemma":[0.01000403,0.00651106,0.9163517,0.0008089887,0.0003404011,0.0002870058,0.0000935815,0.00008219748,0.06552103],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.23482,"threshold_uncertainty_score":0.9998407,"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."}}