{"id":"W4230255398","doi":"10.1002/stvr.385","title":"Error‐preserving reductions on communication protocols","year":2007,"lang":"en","type":"article","venue":"Software Testing Verification and Reliability","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Windsor","funders":"","keywords":"Reachability; Computer science; Model checking; Variety (cybernetics); State (computer science); Process (computing); Transformation (genetics); Formal methods; Communications protocol; Distributed computing; Theoretical computer science; Programming language; Artificial intelligence; Computer network","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.003045964,0.0009936326,0.0007373836,0.001132252,0.0007407653,0.001166971,0.001653664,0.0009261761,0.00331842],"category_scores_gemma":[0.01623099,0.000488622,0.001400846,0.0007170556,0.002502812,0.001857131,0.002950533,0.002581761,0.0007991883],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0006724093,"about_ca_system_score_gemma":0.001202332,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000738227,"about_ca_topic_score_gemma":0.000575921,"domain_scores_codex":[0.9934277,0.002158262,0.0004116382,0.000462161,0.002962054,0.0005781929],"domain_scores_gemma":[0.9815481,0.01108338,0.001097458,0.004426183,0.001607649,0.0002374149],"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.000611738,0.0004441231,0.0009784411,0.0006125253,0.0001107738,0.001752905,0.001277163,0.2509223,0.05531337,0.5452724,0.005173283,0.1375309],"study_design_scores_gemma":[0.0001686888,0.0002187893,0.00042009,0.00006960623,0.0001119739,0.0005524702,0.0002607739,0.3319064,0.1258149,0.5207656,0.01965865,0.00005208335],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1031515,0.0001517247,0.8747752,0.0007059572,0.0001371354,0.0003586714,0.0001492067,0.004747424,0.01582315],"genre_scores_gemma":[0.7736765,0.0003002712,0.2171172,0.0002465954,0.00008064595,0.0006810066,0.0003408158,0.0007294929,0.006827435],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.00331842,"threshold_uncertainty_score":0.01610875,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.08466286065561494,"score_gpt":0.3648461685731593,"score_spread":0.2801833079175443,"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."}}