{"id":"W2068242377","doi":"10.5555/380921.380946","title":"Modeling and verifying a price model for congestion control in computer networks using promela/spin","year":2001,"lang":"en","type":"article","venue":"International workshop on Model Checking Software","topic":"Network Traffic and Congestion Control","field":"Computer Science","cited_by":7,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Toronto","funders":"","keywords":"Promela; Computer science; Convergence (economics); Network congestion; Network packet; Enforcement; Model checking; Computer network; Theoretical computer science","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.00249156,0.0006850698,0.0008079373,0.000624445,0.001041571,0.002096402,0.001573635,0.001120356,0.002564093],"category_scores_gemma":[0.007987156,0.0009158009,0.00133807,0.0004467778,0.0023938,0.00384038,0.001539294,0.002014068,0.000222431],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00103998,"about_ca_system_score_gemma":0.002175335,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00656161,"about_ca_topic_score_gemma":0.007956396,"domain_scores_codex":[0.9984574,0.0004912958,0.0001168324,0.0002302466,0.0004719483,0.0002322428],"domain_scores_gemma":[0.9962214,0.002329614,0.0003183763,0.0007226613,0.0003141814,0.00009368526],"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.000361641,0.0001489398,0.002395636,0.000214585,0.00009545738,0.0003004343,0.000334192,0.7063442,0.009919527,0.262704,0.000920934,0.01626034],"study_design_scores_gemma":[0.00005642434,0.00003783566,0.00008642657,0.000009339357,0.00003584511,0.00002973133,0.00002843549,0.9421307,0.006367987,0.0504123,0.0007904712,0.00001444278],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1607438,0.0001070938,0.8304772,0.0003471526,0.00008546667,0.0001144551,0.00014075,0.003277277,0.004706786],"genre_scores_gemma":[0.9035646,0.00007417188,0.09448957,0.00007500677,0.00001613732,0.0000801302,0.0000837398,0.0002366301,0.001379942],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.00656161,"threshold_uncertainty_score":0.0131768,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03884762681953042,"score_gpt":0.2883049922359541,"score_spread":0.2494573654164237,"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."}}