{"id":"W2134071399","doi":"10.1016/j.tcs.2004.09.024","title":"Verification and refinement with fine-grained action-based concurrent objects","year":2004,"lang":"en","type":"article","venue":"Theoretical Computer Science","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":false,"ca_institutions":"McMaster University","funders":"","keywords":"Correctness; Computer science; Programming language; Guard (computer science); Action (physics); Object (grammar); Contrast (vision); Object-oriented programming; Theoretical computer science; Artificial intelligence","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.01019763,0.0009433644,0.001459183,0.001504323,0.001610626,0.003531516,0.004090454,0.001985443,0.003382844],"category_scores_gemma":[0.02887805,0.001748164,0.003308521,0.00134377,0.007761641,0.008195212,0.006381051,0.003869415,0.0005356838],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002288173,"about_ca_system_score_gemma":0.003001329,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.009230409,"about_ca_topic_score_gemma":0.009949346,"domain_scores_codex":[0.9889883,0.002584197,0.001023751,0.002104889,0.003987778,0.001311133],"domain_scores_gemma":[0.9662176,0.01776793,0.001798172,0.01089678,0.002627577,0.0006919124],"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.0009575738,0.0001934564,0.003661261,0.0003386108,0.000150311,0.0006067341,0.001152322,0.2118029,0.0163052,0.693832,0.001101263,0.06989828],"study_design_scores_gemma":[0.0001760183,0.0001021502,0.0003052567,0.00004844491,0.0001093316,0.0001067062,0.00007556658,0.4985923,0.0150549,0.4819118,0.003461018,0.00005637782],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.02750506,0.00008030374,0.9695151,0.0001364219,0.00005417882,0.00009767704,0.00006445268,0.001270653,0.001276174],"genre_scores_gemma":[0.5041008,0.0001204818,0.4923852,0.0001308171,0.00006476875,0.0001684504,0.0001988179,0.0002919977,0.002538589],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.01019763,"threshold_uncertainty_score":0.05393082,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01870921835086767,"score_gpt":0.2573882610341376,"score_spread":0.23867904268327,"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."}}