{"id":"W2134867079","doi":"10.1109/ccece.1996.548316","title":"The converging flows protocol: design and analysis using SDL","year":2002,"lang":"en","type":"article","venue":"","topic":"Distributed systems and fault tolerance","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"Research Manitoba","funders":"","keywords":"Computer science; Protocol (science); Computer network; Protocol design; Distributed computing; Communications 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.008128121,0.0008319649,0.0007018867,0.001550376,0.0006722032,0.002608399,0.00211552,0.0008755018,0.002375937],"category_scores_gemma":[0.01124583,0.0009390823,0.0009413676,0.0008662562,0.001875184,0.002423438,0.001375749,0.001980509,0.0004820642],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00177015,"about_ca_system_score_gemma":0.004036059,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.004290896,"about_ca_topic_score_gemma":0.00289388,"domain_scores_codex":[0.9938029,0.001939148,0.0005680152,0.0003563512,0.00295966,0.0003738249],"domain_scores_gemma":[0.9927794,0.003879344,0.0005718215,0.0007013748,0.001907786,0.0001602404],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.0003903916,0.0003323705,0.003843007,0.0009066677,0.0001422315,0.0007453327,0.0008584271,0.5134541,0.02025416,0.2855842,0.004330414,0.1691586],"study_design_scores_gemma":[0.00009895953,0.000168611,0.0001316968,0.00008379648,0.00004864197,0.0001560918,0.00007115807,0.9522076,0.0174093,0.01984521,0.009743989,0.00003492155],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.006748051,0.00009507813,0.9893826,0.0001242951,0.00002550957,0.0004129927,0.00007681766,0.001446302,0.001688442],"genre_scores_gemma":[0.2258082,0.0005249688,0.768702,0.0001747799,0.00003556162,0.001504109,0.0004917388,0.0004196217,0.002339057],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.008128121,"threshold_uncertainty_score":0.04298615,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.04147936772010949,"score_gpt":0.2700187958129653,"score_spread":0.2285394280928558,"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."}}