{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.007155055,0.0004512383,0.0005464517,0.0007959741,0.002026089,0.003541265,0.001339376,0.001253463,0.004172211],"category_scores_gemma":[0.01255642,0.0005840479,0.001497116,0.0007772286,0.009500756,0.009334158,0.003895294,0.003995803,0.0004956592],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001798806,"about_ca_system_score_gemma":0.002773518,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003291534,"about_ca_topic_score_gemma":0.001448411,"domain_scores_codex":[0.9943449,0.002325301,0.0004129486,0.0007311802,0.001545582,0.0006400694],"domain_scores_gemma":[0.9873733,0.006881019,0.0007971429,0.003024259,0.001425151,0.0004991312],"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.00002253018,0.0000104798,0.0001918841,0.00004262243,0.000008018268,0.00009152815,0.0002609481,0.004031614,0.0006327868,0.9868347,0.0006237173,0.007249186],"study_design_scores_gemma":[0.00001854395,0.00002141822,0.0000546113,0.00003726103,0.00001136008,0.00007427774,0.00006729385,0.02244464,0.001717599,0.963544,0.01199469,0.00001430621],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.0182338,0.0006530018,0.965476,0.002838853,0.000193999,0.0000926331,0.00006252943,0.0005913647,0.01185787],"genre_scores_gemma":[0.6884571,0.001038023,0.2995797,0.001109569,0.0003316154,0.0003178879,0.0000977657,0.0003521417,0.008716139],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.007155055,"threshold_uncertainty_score":0.03784001,"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."}}