{"id":"W2111670490","doi":"10.1109/icdcs.2003.1203495","title":"Modular composition and verification of transaction processing protocols","year":2004,"lang":"en","type":"article","venue":"","topic":"Distributed systems and fault tolerance","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"Concordia University","funders":"","keywords":"Two-phase commit protocol; Correctness; Computer science; Protocol (science); Modular design; Commit; Distributed computing; Transaction processing; Distributed transaction; Compensating transaction; Database transaction; Theoretical computer science; Programming language; Database","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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.00007965209,0.00004121071,0.00006673333,0.00002268538,0.00004398442,0.00004975324,0.00009053166,0.00002518797,7.05468e-7],"category_scores_gemma":[8.655807e-7,0.00003653772,0.00001201902,0.0001271186,0.00001558686,0.0004750246,0.000004854604,0.00002496476,0.000001300315],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00001541083,"about_ca_system_score_gemma":0.00002081489,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001667562,"about_ca_topic_score_gemma":9.769836e-7,"domain_scores_codex":[0.999576,0.000009778281,0.0001304047,0.0001277399,0.00009973703,0.00005634337],"domain_scores_gemma":[0.999743,0.000001987447,0.00005790136,0.0001181777,0.00005795711,0.00002100356],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"bench_or_experimental","study_design_gemma":"bench_or_experimental","study_design_scores_codex":[0.00002431563,0.0003502459,0.0002194022,0.0004477552,0.000009711898,0.000002157838,0.00131906,0.006887865,0.6848071,0.1095345,0.00001396213,0.196384],"study_design_scores_gemma":[0.003774611,0.0003760238,0.04102789,0.0009108378,0.00001101651,0.00008525977,0.0001436154,0.348826,0.5935555,0.008675762,0.00210504,0.0005085376],"study_design_candidate":"bench_or_experimental","study_design_consensus":"bench_or_experimental","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.02895551,0.0000188268,0.9689603,0.0002107325,0.00001458248,0.001472377,0.000001145608,0.00004975844,0.0003167411],"genre_scores_gemma":[0.9784876,9.322133e-7,0.02111905,0.00001297708,0.000006695817,0.0003620167,0.000002027226,0.000001647851,0.000007063634],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.9495321,"threshold_uncertainty_score":0.1489965,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01604852977242609,"score_gpt":0.2648577538144938,"score_spread":0.2488092240420677,"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."}}