{"id":"W1838937351","doi":"","title":"Bisimulation analysis of SDL-expressed protocols: a case study","year":2000,"lang":"en","type":"article","venue":"","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":3,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Toronto","funders":"","keywords":"Computer science; Bisimulation; Retransmission; Concurrency; Asynchronous communication; Model checking; Workbench; Programming language; Distributed computing; Theoretical computer science; Computer network; Data mining; Network packet","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.0005989065,0.00006943073,0.0001660019,0.000254637,0.00005087841,0.0000507762,0.0003708621,0.00002808401,0.0002531851],"category_scores_gemma":[0.00003620076,0.00005863625,0.00006187799,0.001937326,0.00001583265,0.0004386912,0.00004195776,0.00003968503,0.00001227217],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00001638505,"about_ca_system_score_gemma":0.00001691436,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0003249372,"about_ca_topic_score_gemma":0.00003486423,"domain_scores_codex":[0.9989315,0.0001903478,0.0003087234,0.0002438232,0.000229019,0.00009664288],"domain_scores_gemma":[0.9989327,0.00005968868,0.00009027939,0.0007946746,0.00008892739,0.00003371306],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.000088196,0.002793981,0.03823029,0.00003935564,0.0008862722,0.0002478562,0.01498595,0.138512,0.001959737,0.01573996,0.00007184725,0.7864446],"study_design_scores_gemma":[0.0002925435,0.000178523,0.01225513,0.00000261186,0.00007618805,0.00001082858,0.0001817745,0.9845324,0.002037785,0.0001243684,0.0002246267,0.00008325585],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.5029083,8.553615e-7,0.4912411,0.00001061648,0.00001055138,0.004037101,7.372075e-7,0.00007897102,0.00171178],"genre_scores_gemma":[0.7295968,1.444542e-7,0.2691546,0.00001546862,0.000004881667,0.001062255,5.760598e-7,0.00000227939,0.0001629423],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.8460204,"threshold_uncertainty_score":0.27722,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.07267435200537051,"score_gpt":0.402215098413765,"score_spread":0.3295407464083945,"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."}}