{"id":"W2106027274","doi":"10.1109/pacrim.1997.620411","title":"A formalized methodology for constructing safe multiphase protocols","year":2002,"lang":"en","type":"article","venue":"","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Regina","funders":"","keywords":"Protocol (science); Computer science; Correctness; Two-phase commit protocol; Construct (python library); Finite-state machine; Component (thermodynamics); State (computer science); Communications protocol; Distributed computing; Universal composability; Theoretical computer science; Algorithm; Programming language; Computer network; Cryptographic protocol","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.007587697,0.001914216,0.0009742787,0.002779093,0.002151597,0.004885299,0.005534469,0.002227015,0.005969563],"category_scores_gemma":[0.01464969,0.002126543,0.004837555,0.001914362,0.00621322,0.007581614,0.00463085,0.006107673,0.00251504],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00324717,"about_ca_system_score_gemma":0.005769722,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003264874,"about_ca_topic_score_gemma":0.002419146,"domain_scores_codex":[0.992337,0.002260236,0.001101105,0.001137431,0.00268175,0.0004824222],"domain_scores_gemma":[0.9905936,0.004540032,0.0007624867,0.002284466,0.001594388,0.000224959],"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.00004060669,0.00009832693,0.000222706,0.0004439932,0.00005617919,0.0003079944,0.0007962955,0.03437838,0.004971217,0.9102225,0.001975856,0.04648602],"study_design_scores_gemma":[0.0001665482,0.0001966261,0.0001302037,0.0004378425,0.0001355402,0.0005319873,0.0002478421,0.1939106,0.02812641,0.6887761,0.08720827,0.000131971],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.000446519,0.00003864629,0.9980514,0.00008259313,0.0000160815,0.0001509027,0.00003541104,0.0003061951,0.0008722543],"genre_scores_gemma":[0.01712808,0.0001582737,0.9802904,0.0001034698,0.00002105852,0.0005471621,0.0001349345,0.0001457468,0.00147096],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.007587697,"threshold_uncertainty_score":0.04012805,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.3598403731149593,"score_gpt":0.4332563153762157,"score_spread":0.07341594226125647,"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."}}