{"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001590285,0.0001140839,0.0001976573,0.00009340303,0.0001277314,0.00007894972,0.0006331257,0.00008032405,0.0001234218],"category_scores_gemma":[0.001279181,0.00009889487,0.00007740674,0.0002301542,0.00006272984,0.0006430561,0.000112774,0.00008446893,0.00003853882],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00002881399,"about_ca_system_score_gemma":0.00001525644,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000004676851,"about_ca_topic_score_gemma":0.000001020796,"domain_scores_codex":[0.9986238,0.0002811004,0.0003504487,0.0003099466,0.0001221157,0.0003126104],"domain_scores_gemma":[0.9985222,0.000606043,0.0001620138,0.0005178702,0.0001208027,0.00007111488],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00002212795,0.00004348028,0.00005638022,0.00003570951,0.000009597999,8.992164e-7,0.0005263185,0.00001368458,0.006949115,0.6035457,0.0004917848,0.3883052],"study_design_scores_gemma":[0.002639943,0.000278553,0.00003200673,0.00001612993,0.000005822787,0.0001106901,0.0001027508,0.7910653,0.133388,0.012296,0.05977344,0.0002913896],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.0002609424,0.000008809109,0.9806098,0.0002382574,0.0002039912,0.009033233,0.000001620381,0.0002391097,0.009404244],"genre_scores_gemma":[0.001084695,8.987179e-7,0.9882929,0.0004020089,0.00004192552,0.009726806,6.49493e-7,0.00000777449,0.0004423137],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.7910516,"threshold_uncertainty_score":0.4032815,"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."}}