{"id":"W2133953358","doi":"10.1109/icnp.1993.340891","title":"An approach to evaluating the performance of communication protocols based on formal specifications","year":2002,"lang":"en","type":"article","venue":"","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":4,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of British Columbia","funders":"","keywords":"Extended finite-state machine; Reachability; Computer science; Finite-state machine; Formal methods; Formal verification; State space; Protocol (science); Queueing theory; Sliding window protocol; State (computer science); Communications protocol; Formal specification; Model checking; Theoretical computer science; Automaton; Simple (philosophy); Window (computing); Programming language; Computer network; Operating system; Mathematics","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.0170402,0.002029814,0.001030449,0.002807657,0.001069084,0.004464809,0.003971926,0.002332371,0.002474226],"category_scores_gemma":[0.05256343,0.001193324,0.001803074,0.001256614,0.003465335,0.007440981,0.002131351,0.003483023,0.0005841088],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.003375582,"about_ca_system_score_gemma":0.004893904,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00300537,"about_ca_topic_score_gemma":0.002049902,"domain_scores_codex":[0.9728205,0.01269505,0.001794718,0.0012731,0.01081465,0.0006019863],"domain_scores_gemma":[0.9541224,0.02897278,0.003673719,0.007022614,0.005728226,0.0004803048],"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.0002530933,0.0004793796,0.003415754,0.0009391255,0.0002601389,0.0003915694,0.001125148,0.4438394,0.02527951,0.4021803,0.001424246,0.1204121],"study_design_scores_gemma":[0.0000966983,0.000566586,0.0004409489,0.0003613308,0.0001806025,0.0003179978,0.0003448029,0.822176,0.04066097,0.1211524,0.01355342,0.0001481912],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.005723897,0.00008260304,0.9915677,0.0001505893,0.00002257389,0.0001856923,0.0000546916,0.0008224935,0.001389786],"genre_scores_gemma":[0.1171225,0.0002807633,0.8807742,0.00007429172,0.00002258936,0.0006218364,0.0002708911,0.0001647025,0.0006681684],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.0170402,"threshold_uncertainty_score":0.09011823,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.3071351936941251,"score_gpt":0.4074903902222816,"score_spread":0.1003551965281564,"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."}}