{"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0003882229,0.0001572897,0.0002205796,0.0001334837,0.0001015029,0.0001886541,0.0003804275,0.00007014864,0.000005118121],"category_scores_gemma":[0.000004503347,0.0001457207,0.00002663584,0.0003664891,0.00002903206,0.0009900217,0.00006108757,0.00008633199,0.00001047329],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001047414,"about_ca_system_score_gemma":0.000007134237,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00002943911,"about_ca_topic_score_gemma":0.000002593745,"domain_scores_codex":[0.9982672,0.0001077398,0.0006153923,0.0004379434,0.0003296705,0.0002420474],"domain_scores_gemma":[0.998903,0.00001372038,0.0002700358,0.0006395088,0.0001028874,0.00007088691],"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.0002493404,0.003219129,0.002848176,0.003039752,0.00005709818,0.00003048818,0.00157917,0.01892738,0.01932159,0.8256211,0.0009247337,0.1241821],"study_design_scores_gemma":[0.00259434,0.0004458349,0.07951681,0.0008134951,0.000004400895,0.00001451672,0.0002025359,0.9066068,0.00270869,0.000336272,0.006381564,0.000374731],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.00546308,0.000005768374,0.8132069,0.0001033437,0.00004032637,0.1788305,0.00005282628,0.0001021912,0.002195086],"genre_scores_gemma":[0.7921684,0.000001054444,0.004151401,0.00001268068,0.00001950748,0.2035316,0.00004422584,0.000006996433,0.00006417275],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.8876795,"threshold_uncertainty_score":0.5942319,"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."}}