{"id":"W2101206167","doi":"10.1109/icdsc.2001.918955","title":"Modular composition of redundancy management protocols in distributed systems: an outlook on simplifying protocol level formal specification and verification","year":2002,"lang":"en","type":"article","venue":"","topic":"Distributed systems and fault tolerance","field":"Computer Science","cited_by":8,"is_retracted":false,"has_abstract":true,"ca_institutions":"Concordia University","funders":"","keywords":"Computer science; Modular design; Redundancy (engineering); Formal methods; Formal verification; Protocol (science); Distributed computing; Software engineering; Programming language; Operating system","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.01082654,0.001140591,0.0009759534,0.001455821,0.0007736706,0.0019794,0.002801721,0.001172742,0.002068134],"category_scores_gemma":[0.010623,0.00100467,0.002291448,0.001100429,0.004090182,0.006462911,0.003475288,0.003131707,0.0009468207],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001262753,"about_ca_system_score_gemma":0.00212914,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00118159,"about_ca_topic_score_gemma":0.000804675,"domain_scores_codex":[0.9944252,0.002676234,0.00036928,0.0005452672,0.00166573,0.0003183984],"domain_scores_gemma":[0.9915221,0.003948996,0.0006799663,0.002939025,0.0007276429,0.0001823114],"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.0001339969,0.0001281526,0.0008003099,0.0006716265,0.00006833826,0.0003090794,0.0008698623,0.06903987,0.01926729,0.7659862,0.0009054839,0.1418199],"study_design_scores_gemma":[0.0001257814,0.0003706301,0.0004008254,0.0004375112,0.0001318787,0.0005997057,0.0003055656,0.2861722,0.03594038,0.6188024,0.05661195,0.0001010046],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.005710769,0.0005242758,0.9916891,0.0002617246,0.00003165526,0.00007973986,0.000009322307,0.0004718201,0.001221542],"genre_scores_gemma":[0.07850704,0.001124172,0.9184444,0.0001176138,0.00006941262,0.0002159585,0.00007110709,0.0001882738,0.001262121],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.01082654,"threshold_uncertainty_score":0.05725694,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.08380403843891895,"score_gpt":0.3087471568920895,"score_spread":0.2249431184531705,"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."}}