{"id":"W1963743620","doi":"10.1016/j.tcs.2013.01.024","title":"Correctness of concurrent executions of closed nested transactions in transactional memory systems","year":2013,"lang":"en","type":"article","venue":"Theoretical Computer Science","topic":"Distributed systems and fault tolerance","field":"Computer Science","cited_by":7,"is_retracted":false,"has_abstract":false,"ca_institutions":"Memorial University of Newfoundland","funders":"","keywords":"Computer science; Nested transaction; Software transactional memory; Correctness; Database transaction; Transactional memory; Consistency (knowledge bases); Class (philosophy); Serialization; Transaction processing; Distributed transaction; Programming language; Theoretical computer science; Distributed computing; 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.009076585,0.000611003,0.001325471,0.0009568763,0.002123301,0.005910374,0.002952334,0.002211294,0.001506004],"category_scores_gemma":[0.05780083,0.001164253,0.001197489,0.0009675191,0.006771207,0.006130005,0.002733712,0.002949951,0.0003248107],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001742007,"about_ca_system_score_gemma":0.004128803,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.005380948,"about_ca_topic_score_gemma":0.003152666,"domain_scores_codex":[0.982656,0.00506914,0.001437292,0.001612342,0.007133925,0.002091225],"domain_scores_gemma":[0.9130188,0.0555475,0.005476281,0.01116217,0.01294565,0.001849659],"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.005887208,0.0007761582,0.03730364,0.0007459635,0.0004001304,0.002492172,0.009562873,0.1967157,0.04569337,0.6274675,0.003192908,0.06976243],"study_design_scores_gemma":[0.0004400778,0.0003355753,0.002853776,0.00007668826,0.000143691,0.0003748069,0.0005717872,0.375924,0.02125129,0.5956017,0.002348773,0.00007787453],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.5673805,0.0008021979,0.4230075,0.0009159143,0.0002005154,0.0001537669,0.0002174087,0.001502594,0.005819494],"genre_scores_gemma":[0.9767596,0.0001142252,0.02159115,0.00008026318,0.00007164104,0.00006607106,0.0001686579,0.0001571303,0.0009912889],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.009076585,"threshold_uncertainty_score":0.04800212,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.00876243527131157,"score_gpt":0.2329234691236317,"score_spread":0.2241610338523201,"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."}}