{"id":"W2087188285","doi":"10.1007/s00165-008-0073-8","title":"Beyond contracts for concurrency","year":2008,"lang":"en","type":"article","venue":"Formal Aspects of Computing","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":22,"is_retracted":false,"has_abstract":true,"ca_institutions":"York University","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"SCOOP; Computer science; Concurrency; Atomicity; Programming language; Liveness; Theory of computation; Hoare logic; Semantics (computer science); Separation logic; Theoretical computer science; Database transaction","routes":{"ca_aff":true,"ca_fund":true,"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":[],"consensus_categories":[],"category_scores_codex":[0.0003672434,0.0001373248,0.0002788726,0.00007392976,0.0002699075,0.00004621551,0.0005957378,0.00005886474,0.000002843525],"category_scores_gemma":[0.00007267529,0.000119887,0.0001237112,0.0001862365,0.00006551461,0.0004932605,0.000176304,0.00009608128,0.00001685781],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0000193011,"about_ca_system_score_gemma":0.00009971883,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00002454112,"about_ca_topic_score_gemma":0.000003283517,"domain_scores_codex":[0.9986572,0.000023579,0.0003870894,0.0002421576,0.0002330229,0.0004570057],"domain_scores_gemma":[0.9989868,0.0001758054,0.0002810736,0.0002695565,0.0001977673,0.00008904433],"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.000004746297,0.00005533819,0.0005490663,0.00004519763,0.00001806264,0.00001229152,0.001256708,0.00007002556,0.0001382703,0.9693675,0.0002896634,0.02819315],"study_design_scores_gemma":[0.008776738,0.003868775,0.02658872,0.00009953444,0.00005444668,0.001244916,0.0003631425,0.4125006,0.04682354,0.443375,0.05421786,0.002086803],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.04288914,0.000324963,0.9203636,0.00006172267,0.001059945,0.0003709421,0.000001059901,0.0001812539,0.03474738],"genre_scores_gemma":[0.9840688,0.000003054769,0.01551485,0.00006981792,0.0002663954,0.000004506793,0.000003545125,0.00000768241,0.00006135054],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.9411796,"threshold_uncertainty_score":0.4888851,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02221888783917067,"score_gpt":0.2520112055078466,"score_spread":0.2297923176686759,"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."}}