{"id":"W2093549400","doi":"10.1007/bfb0105123","title":"A methodology for programming with concurrency","year":2007,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":9,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Toronto","funders":"","keywords":"Concurrency; Computer science; Correctness; Programming language; Mathematical proof; Deadlock; Concurrent object-oriented programming; Theoretical computer science; Programming paradigm; Mathematics; Procedural programming; Inductive programming","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.004935149,0.001402736,0.001241947,0.0019009,0.003579372,0.006515325,0.003633063,0.001727446,0.008951375],"category_scores_gemma":[0.006502313,0.001835069,0.003464202,0.002249343,0.009061591,0.01274083,0.006571527,0.006771261,0.002818363],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001749041,"about_ca_system_score_gemma":0.002913325,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002347412,"about_ca_topic_score_gemma":0.002762697,"domain_scores_codex":[0.9961514,0.001493453,0.0003607894,0.0007318836,0.0009572271,0.000305182],"domain_scores_gemma":[0.9964864,0.001593374,0.000163666,0.001132158,0.0003947571,0.0002296595],"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.000008905423,0.00001385389,0.00006379827,0.00006432374,0.00000930906,0.00002971304,0.0003891005,0.0005995814,0.0003793259,0.9800869,0.002065191,0.01628994],"study_design_scores_gemma":[0.00001789974,0.00001468699,0.00003001456,0.00004735617,0.0000222334,0.0001010584,0.00008963547,0.003707374,0.0008715626,0.9507041,0.04437665,0.00001734107],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.0008552402,0.0003891384,0.9890147,0.0006512796,0.0001539089,0.00006280099,0.00005091136,0.0007141985,0.008107788],"genre_scores_gemma":[0.06669822,0.0009467562,0.9121319,0.00068035,0.0003387851,0.000480896,0.0001925767,0.001031553,0.01749891],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.008951375,"threshold_uncertainty_score":0.02994531,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.08823775316025535,"score_gpt":0.3238388774395125,"score_spread":0.2356011242792572,"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."}}